Skip to content

Commit 59d152b

Browse files
justinlietz93justinlietz93
committed
feat: add initial lakefile for PCVDMLiftedDescent package
1 parent aa7e5a0 commit 59d152b

1 file changed

Lines changed: 6 additions & 0 deletions

File tree

‎packages/PCVDMLiftedDescent/lakefile.toml‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
name = "pc_vdm_lifted_descent"
2+
version = "0.1.0"
3+
defaultTargets = ["PCVDMLiftedDescent"]
4+
5+
[[lean_lib]]
6+
name = "PCVDMLiftedDescent"

0 commit comments

Comments
 (0)