Merge pull request #159 from msysgit/vagrant
commit742ab3728e18fdf28f21aec867c314f9ac7c205b
authordscho <johannes.schindelin@gmx.de>
Tue, 28 Jan 2014 18:30:41 +0000 (28 10:30 -0800)
committerdscho <johannes.schindelin@gmx.de>
Tue, 28 Jan 2014 18:30:41 +0000 (28 10:30 -0800)
tree3b3cc68003f35e8f95352dd042443a5e9077c947
parent218ed04efbba3e49b2c645167c033bf094ac19ee
parent13744e0412652f497a5a79283a24e54aa630a00d
Merge pull request #159 from msysgit/vagrant

Add a Vagrantfile