Skip to content

Commit b423122

Browse files
lorenzleutgeblorenzleutgeb
committed
Create HOL.gitignore
1 parent 4d89c5d commit b423122

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

‎community/HOL.gitignore‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
*Script
2+
3+
# Holmake generated files
4+
*Theory.sig
5+
*Theory.sml
6+
*.uo
7+
*.ui
8+
9+
# Holmake auxiliary files
10+
.hollogs
11+
.HOLMK

0 commit comments

Comments
 (0)