fix: remove docs lake manifest (#1083)

leanprover-community · Jan 4, 2025 · b2e8b68 · b2e8b68
1 parent 8ce422e
commit b2e8b68
Showing 1 changed file with 0 additions and 62 deletions.
diff --git a/docs/lake-manifest.json b/docs/lake-manifest.json