projects / osm / vim-emu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 07e8a12 c5109ad)
Merge pull request #203 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 15 Mar 2017 15:20:46 +0000 (16:20 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 15 Mar 2017 15:20:46 +0000 (16:20 +0100)
cleaned up Vagrant installation


Trivial merge