![](https://secure.gravatar.com/avatar/13347296fab10989840179815368350b.jpg?s=120&d=mm&r=g)
3 Jan
2007
3 Jan
'07
5:59 a.m.
On 3. jan. 2007, at 1:16, Hans Hagen wrote:
that's why i asked ... what encoding are those files in (i assume ec but if not, we need to correct for that (grep ctxtools for 'no'))
oh. the documents are utf-8, whereas the font encoding I use is texnansi. -- Rolf Lindgren roffe@extern.uio.no