chore: fix lake-manifest.json

leanprover · Jul 4, 2024 · e1e1e8d · e1e1e8d
1 parent f7564ee
commit e1e1e8d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -14,6 +14,7 @@
   {"url": "https://github.com/dupuisf/BibtexQuery",
    "type": "git",
    "subDir": null,
+   "scope": "",
    "rev": "d4e2c1692c3bf1898a71a278f3441b09d8414225",
    "name": "BibtexQuery",
    "manifestFile": "lake-manifest.json",