chore: bump Verso

This gets the updated navigation buttons.
leanprover · Nov 25, 2024 · 6c8d9b8 · 6c8d9b8
1 parent d73e30b
commit 6c8d9b8
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": "8c1cacae411c93ebea83e07dcb44908f398c53b2",
+   "rev": "c2b025147c179362b997e827374ce6600cdfd8e1",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",