11 lines
163 B
TOML
11 lines
163 B
TOML
|
name = "lean-graphics"
|
||
|
|
version = "0.1.0"
|
||
|
|
defaultTargets = ["lean-graphics"]
|
||
|
|
|
||
|
|
[[lean_lib]]
|
||
|
|
name = "LeanGraphics"
|
||
|
|
|
||
|
|
[[lean_exe]]
|
||
|
|
name = "lean-graphics"
|
||
|
|
root = "Main"
|