remove generated index.html

supermedium · Dec 20, 2018 · 09107d3 · 09107d3
1 parent 700aca0
commit 09107d3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 471 deletions.
diff --git a/.gitignore b/.gitignore
@@ -46,3 +46,4 @@ exports/
 dump.rdb
 .ghpages
 play.html
+/index.html