hevea icon indicating copy to clipboard operation
hevea copied to clipboard

Published 20 hours ago • verified publisher icon maranget

convert comments to utf8

Open treinen opened this issue 3 years ago • 3 comments

Hello, some of the comments in *.hva files still have iso8859-1 encoded characters, and could migrate to utf8. This might also be the case for some example files but I didn't look into these yet. Patch here:

https://salsa.debian.org/ocaml-team/hevea/-/blob/master/debian/patches/typos

treinen avatar Oct 23 '21 08:10 treinen

Hi @treinen, the patch is the same as the one of issue #66.

maranget avatar Oct 23 '21 08:10 maranget

Bonjour @maranget Sorry: https://salsa.debian.org/ocaml-team/hevea/-/blob/master/debian/patches/iso8859-to-utf8

treinen avatar Oct 23 '21 08:10 treinen

Committed 8d9a139d63f485fcd76acb1d5c324d71b561a472, thanks.

maranget avatar Oct 23 '21 09:10 maranget