mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-11-14 03:48:13 +03:00
19 lines
335 B
Plaintext
19 lines
335 B
Plaintext
[repositories]
|
|
root = .
|
|
prelude = prelude
|
|
prelude-nri = prelude-nri
|
|
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,elm-stuff,component-catalog/elm-stuff
|