Rename GraphFromDot.html to index.html

JoshuaMoelans · Mar 4, 2024 · 965c983 · 965c983
1 parent 1457b49
commit 965c983
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/standalone/GraphFromDot.html → standalone/index.html b/standalone/GraphFromDot.html → standalone/index.html
@@ -698,4 +698,4 @@
         });
     </script>
 </body>
-</html>
+</html>