projects / osm / vim-emu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0dcb2a1 862cc97)
Merge pull request #145 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 19 Jul 2016 15:58:22 +0000 (17:58 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 19 Jul 2016 15:58:22 +0000 (17:58 +0200)
Cleanup: Environment cleanup mechanisms. Closes #139


Trivial merge