[PPL-devel] The old w3ppl repository is being frozen

Dear all,

I am about to freeze the old w3ppl repository. I will then start moving things to the new repository. You should see commit messages when this happens. In the unlikely case some of you is editing some files, just wait for that file to appear in the new repository and commit our changes there. Ciao,

Roberto