[PPL-devel] [GIT] ppl/w3ppl(master): Updated the web pages to reflect the switch to Git .

[bagnara at cs.unipr.it]

Module: ppl/w3ppl
Branch: master
Commit: 1df76a0349143d371916866233340119b2a77e38
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1df76a0349143d371916866233340119b2a77e38

Author: Roberto Bagnara <bagnara at 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=1df76a0349143d371916866233340119b2a77e38