mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-09-21 04:07:54 +03:00
15 lines
246 B
Plaintext
15 lines
246 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
|