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)
commitc8d0d8625a1fbd1ea8bb57e2409af6c632555c0e
treeb398c8f1f00bfa202ed4ea2db01db64c940952d7
parenta98b1e8dd7630fc358cd65f3fa133886365b283a
parent014a10a9415d97edbf5fada7dab5ee79a029da95
Merge pull request #212 from cgeoffroy/pr/fix_manualexamples_textoverlap

Pr/fix manualexamples textoverlap