mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2025-01-06 22:49:38 +03:00
18 lines
271 B
Plaintext
18 lines
271 B
Plaintext
[repositories]
|
|
root = .
|
|
prelude = prelude
|
|
toolchains = toolchains
|
|
none = none
|
|
|
|
[repository_aliases]
|
|
config = prelude
|
|
fbcode = none
|
|
fbsource = none
|
|
buck = none
|
|
|
|
[parser]
|
|
target_platform_detector_spec = target:root//...->prelude//platforms:default
|
|
|
|
[project]
|
|
ignore = .git
|