On Sun, Dec 24, 2017 at 06:53:00PM +0200, Eli Zaretskii wrote: > Does it help to say > > @documentencoding UTF-8 > > at the beginning of the document?
It does! I can't believe I've missed that! Thank you!
On Sun, Dec 24, 2017 at 06:53:00PM +0200, Eli Zaretskii wrote: > Does it help to say > > @documentencoding UTF-8 > > at the beginning of the document?
It does! I can't believe I've missed that! Thank you!