Merge pull request #212 from cgeoffroy/pr/fix_manualexamples_textoverlap
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 11 Apr 2017 16:33:45 +0000 (18:33 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 11 Apr 2017 16:33:45 +0000 (18:33 +0200)
Pr/fix manualexamples textoverlap


Trivial merge