[David Prévot] > We may now remove the debian-edu-doc Subversion repository, or replace > it by a placeholder to point to Git, I'm not sure what's best, but will > follow the example of the already moved VCS. I believe a placeholder with a README stating the new location is best. :) At least for a few years while everyone update their svn checkout. -- Happy hacking Petter Reinholdtsen