On Wednesday 12 October 2005 10:58, Juergen Spitzmueller wrote: > Should I prepare a patch with another file format change?
Yes. > Additionally, we could force \quotes_times to 2 between 229 and 230. What is the difference if you don't do it? > Jürgen -- José Abílio
