Le 05/04/2011 22:43, sebb a écrit :
Please don't use $Date$, because it makes checking releases much harder.
Could you elaborate on this sebb ? I saw your other message regarding the timezone but I don't really understand the issue it creates when you are checking a release.
Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
