[Gecode] Subversion repository

[tack at ps.uni-sb.de]

> This also gives me the Attic? Is that intended? If not how to handle that?

Ah, right. Subversion handles deletion in a completely different way - the
Attic is included only as an artifact of the conversion. I think we should
just use svn to delete all the Attic directories (which of course remain
in an older version in the repository). Does that sound reasonable?

Guido