feat: add lake-manifest.json, update .gitignore (#42)

leanprover-community · May 4, 2024 · 5315667 · 5315667
1 parent 64365c6
commit 5315667
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,3 @@
 /build
 /lakefile.olean
 /.lake
-/lake-manifest.json
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -0,0 +1,5 @@
+{"version": 7,
+ "packagesDir": ".lake/packages",
+ "packages": [],
+ "name": "Qq",
+ "lakeDir": ".lake"}