[Gecode] Removed old CVS

[Denys Duchier]

Guido Tack <tack at ps.uni-sb.de> writes:

> I have now removed the old CVS tree. The log messages still go to the ps.cvs 
> news group, I don't know if we should add a gecode.cvs news group or archive 
> the messages in any other way.

I am in favor of a gecode.cvs group.  The gecode abstract
infrastructure should be factored out separately from the ps lab's
(eventhough it is currently concretely realized and hosted on ps lab
facilities).

Cheers,

-- 
Dr. Denys Duchier - Équipe Calligramme - LORIA, Nancy, FRANCE
AIM: duchierdenys