Phil Malin wrote:
> Ahh, ok. Thanks (lucky I made a backup of the environment a few days
> ago. :-) )
In fact, it's not really a problem. svn update with a specific date or
release number is a good solution.
--
Philippe Ribet
SmartEiffel:
one methodoology, one language,
highest quality kept secret.
Visit
http://smarteiffel.loria.fr