Module: ppl/w3ppl Branch: master Commit: 1df76a0349143d371916866233340119b2a77e38 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1df76a03491...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 22 17:56:35 2009 +0100
Updated the web pages to reflect the switch to Git.
---
htdocs/Bugs/Bugs.raw | 2 +- htdocs/Contribute/Contribute.raw | 6 +++--- htdocs/Documentation/how_to_get_it.raw | 8 +++++--- htdocs/Download/Download.raw | 13 ++++++------- htdocs/Download/Git.raw | 2 +- htdocs/Download/rsync.raw | 14 +++++++------- htdocs/FAQ.raw | 5 +---- htdocs/MailingLists/MailingLists.raw | 2 +- htdocs/news.raw | 11 +++++++++++ htdocs/portability.raw | 4 ++-- htdocs/ppl.raw | 16 +++++++++++++--- 11 files changed, 51 insertions(+), 32 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commitdiff;h=1df76a0...