"Sebastien Vauban"
<[email protected]> writes:

> Trying to convert some more files (to HTML) with the new exporter, I did a
> test with the following one:

Fixed, thanks.

-- 
 Bastien


Reply via email to