Skip to content

Commit 3248ced

Browse files
didriklundbergdidriklundberg
committed
Updated .gitignore
1 parent 1f248ca commit 3248ced

File tree

1 file changed

+1
-8
lines changed

1 file changed

+1
-8
lines changed

‎.gitignore‎

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,5 @@
1-
.HOLMK
2-
.hollogs
3-
.holobjs
4-
*.uo
5-
*.ui
6-
*.dat
7-
*Theory.sig
8-
*Theory.sml
91
*-heap
2+
.hol/
103

114
## LaTeX stuff
125
*.aux

0 commit comments

Comments
 (0)