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

22 Feb 2009


      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...

bagnara＠cs.unipr.it

tags (0)

participants (1)