On Sunday 25 July 2004 04:29, Matthias Urlichs wrote: > Hi, > > This is not true. I just checked the web cvs repository and > > seems fine to me. > It's not tagged as such. This is true. I've tagged the current version as 0_2_10. -- Nikos Mavroyanopoulos