[ref_impl_eiffel] [1057] Exporting to HTML displayed strange characters in text for non-English languages .

Revision: 1057
Author: peter.gummer
Log Message: