remove test example

leanprover-community · Apr 26, 2024 · a1bc6c2 · a1bc6c2
1 parent d61c603
commit a1bc6c2
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/client/src/config.json b/client/src/config.json
@@ -14,10 +14,7 @@
       ]
     },
     { "folder": "lean4web-tools",
-      "name": "Stable Lean",
-      "examples": [
-        {"file": "Webeditor.lean", "name": "Test"}
-      ]
+      "name": "Stable Lean"
     }
   ]
 }