George Marques 7a17d72e84 Fix extraneous NULL character on HTML export ...

Fix #2801

(cherry picked from commit 604ddd691c)

2016-10-30 23:58:41 +01:00

..

export.cpp

Fix extraneous NULL character on HTML export

2016-10-30 23:58:41 +01:00

export.h

…