On November 25, 2002 03:50 am, Francois Gouget wrote: > One rule we do have: No space at the end of lines. No we don't, sorry. Not any more. I mean, sure, don't add whitespace at the end of the line intentionally, but if it's there, it's no big thing. -- Dimi.