In order to prevent confusion, it was discussed that we should leave the repo up, but delete everything, and then do 1 commit with a readme about the move to git.
Is everyone OK with this ? _______________________________________________ Warzone-dev mailing list [email protected] https://mail.gna.org/listinfo/warzone-dev
