Ignoring css in simple-proof/doc

amaurremi · Nov 22, 2017 · f82c260 · f82c260
1 parent b66f5c8
commit f82c260
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/simple-proof/doc/.gitignore b/src/simple-proof/doc/.gitignore
@@ -1,2 +1,3 @@
 /*.png
 /*.html
+/*.css