[PPL-devel] [GIT] ppl/w3ppl(master): Obsolete note removed.

[Roberto Bagnara]

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

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