HTML5 exporter

On 04/07/2018 at 13:28, xxxxxxxx wrote:

I have developed a HTML exporter:

On 05/07/2018 at 05:00, xxxxxxxx wrote:

thank you

i'll give it a try!