Skip to content

Commit 9863394

Browse files
committed
added .gitignore for axioms directory
1 parent 45a3108 commit 9863394

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

axioms/.gitignore

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
axioms.html

0 commit comments

Comments
 (0)