chore: Verso bump

Try to fix vertical scroll issue
leanprover · Nov 15, 2024 · 2b4789b · 2b4789b
1 parent 8a30863
commit 2b4789b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "0d183a15ac5182c1daf734180bdffd8e8eef2ca2",
+   "rev": "7f605c6a4b1f979622c4d65f87600d17a4ff0f88",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "mobile-manual",