update the gitignore list

This commit is contained in:
Andreas Zweili 2017-11-02 20:56:53 +01:00
parent 7939d7b5b5
commit 565f962da9
1 changed files with 3 additions and 0 deletions

3
.gitignore vendored
View File

@ -607,3 +607,6 @@ target/
*.toc
*.gz
.idea
.vagrant/*
.vagrant
.vagrant/