remove hash for now since I cant build the corresponding js bytecode …

…on my machine
hferee · Feb 8, 2024 · 63e6069 · 63e6069
1 parent 7e2468a
commit 63e6069
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/demo.html b/docs/demo.html
@@ -89,7 +89,7 @@
           <td>necessity (box)</td>
         <tr>
           <td>⊥</td>
-          <td class="ms">#</td>
+          <td class="ms"></td>
           <td>falsum</td>
         </tr>
         <tr>
@@ -120,4 +120,4 @@
   </div>
 </body>
 
-</html>
+</html>