Added deb/.vagrant to gitignore
commit46742857b51b6052f5e90ad9a046a8c8f8101309
authorJohn MacFarlane <jgm@berkeley.edu>
dateWed 1 Feb 2017, 12:36 (10 years ago)
parent59a2e55
.gitignore+1
@@ -1,4 +1,5 @@
11*~
2+deb/.vagrant
23dist/*
34MANUAL.*
45!MANUAL.txt