tree b398c8f1f00bfa202ed4ea2db01db64c940952d7
parent a98b1e8dd7630fc358cd65f3fa133886365b283a
parent 014a10a9415d97edbf5fada7dab5ee79a029da95
author peusterm <manuel.peuster@uni-paderborn.de> 1491928425 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1491928425 +0200

Merge pull request #212 from cgeoffroy/pr/fix_manualexamples_textoverlap

Pr/fix manualexamples textoverlap