tools: more ignores
This commit is contained in:
parent
f6be82e153
commit
d46ddb1d71
4
.gitignore
vendored
4
.gitignore
vendored
@ -18,5 +18,9 @@ site/[0-9]*
|
||||
/templates
|
||||
profs/profs
|
||||
t.*
|
||||
tt.*
|
||||
ttt.*
|
||||
tttt.*
|
||||
ttttt.*
|
||||
site/api
|
||||
.haddockprologue
|
||||
|
||||
Loading…
Reference in New Issue
Block a user