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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 31 08:52:28 2009 +0200

Obsolete note removed.

---

htdocs/Download/Git.raw | 8 -------- 1 files changed, 0 insertions(+), 8 deletions(-)

diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw index 43dc890..24f4af4 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -51,14 +51,6 @@ For this to work you need to install a reasonably recent version of <A HREF="http://git-scm.com/">Git</A> on your system.

<P> -<FONT COLOR="red"> -<STRONG>Note:</STRONG> The following instructions refer to the hostname -<CODE>git.cs.unipr.it</CODE>: if your DNS still does not know about it, -use <CODE>cvs.cs.unipr.it</CODE> meanwhile. -</FONT> -</P> - -<P> In order to clone the repository of the PPL sources, issue the command </P>