projects / osm / vim-emu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 21b311f f8fcdac)
Merge pull request #237 from mpeuster/demo-mano-integration
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 13 Jul 2017 11:33:00 +0000 (13:33 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 13 Jul 2017 11:33:00 +0000 (13:33 +0200)
Demo mano integration


Trivial merge