5 lines
86 B
TOML
5 lines
86 B
TOML
name = "initialize"
|
|
defaultTargets = ["Initialize"]
|
|
|
|
[[lean_lib]]
|
|
name = "Initialize"
|