projects / osm / vim-emu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7d3b58e 53d3c14)
Merge pull request #138 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Jul 2016 08:46:14 +0000 (10:46 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Jul 2016 08:46:14 +0000 (10:46 +0200)
Cleanups, improvements to debug chaining problems


Trivial merge