diff options
| -rw-r--r-- | .gitignore | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index 5b3d5f877..38dc873c2 100644 --- a/.gitignore +++ b/.gitignore @@ -25,7 +25,7 @@ ChangeLog doc/build # Files generated by Vagrant -vagrant/vagrantkey -vagrant/vagrantkey.pub -vagrant/storage/ +dev/vagrant/vagrantkey +dev/vagrant/vagrantkey.pub +dev/vagrant/storage/ .vagrant/ |