Michal Rostecki d7a9939171 Update Vagrant directories in .gitignore ...

Vagrantfile and all related stuff moved to dev/ directory.
Then .gitignore should be updated with this change.

Change-Id: I15decd9d7ac21effe1485aead493da33002383ec
Closes-Bug: #1505079

2015-10-12 07:46:15 +02:00

427 B

Raw Blame History

View Raw