| commit | 13744e0412652f497a5a79283a24e54aa630a00d | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 28 Jan 2014 18:23:03 +0000 (28 12:23 -0600) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 28 Jan 2014 18:23:03 +0000 (28 12:23 -0600) | ||
| tree | 8beb7ac1ac7480651d302dc47536fb2cd8a3961d | treesnapshot (tar.gz zip) |
| parent | 0be8f2208d795c0fc75d4667fac78987e63c914d | commitdiff |
Add the .vagrant/ directory to the .gitignore file
It would not do to delete the .vagrant/ directory by mistake: it
contains all the relevant information used by Vagrant to manage the
virtual machine (e.g. to enable "vagrant ssh" to find the machine).
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
It would not do to delete the .vagrant/ directory by mistake: it
contains all the relevant information used by Vagrant to manage the
virtual machine (e.g. to enable "vagrant ssh" to find the machine).
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
| .gitignore | diffblobblamehistory |