More entries in gitignore

stopcriterion
Salvatore Filippone 6 years ago
parent 59587ddac2
commit b0159a9257

1
.gitignore vendored

@ -13,6 +13,7 @@ config.status
# generated folder
include/
modules/
docs/src/tmp
autom4te.cache

Loading…
Cancel
Save