Le 27/04/2015 11:09, Jürgen Spitzmüller a écrit :
I inspected the (actually not so few) uses now, and I think that
getString and getDocString is the place where tabs should be replaced by
blanks.
Doing it in eatLine breaks parsing of LANGUAGES.

What file is that?

JMarc

Reply via email to