5 lines
65 B
TOML
5 lines
65 B
TOML
|
[custom.all.Idris]
|
||
|
|
type = "local"
|
||
|
|
path = "."
|
||
|
|
ipkg = "Idris.ipkg"
|