projects / osm / vim-emu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from parent 2: 2507414)
Merge pull request #241 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 21 Aug 2017 15:08:15 +0000 (17:08 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 21 Aug 2017 15:08:15 +0000 (17:08 +0200)
Improved API shutdown


No differences found