[PPL-devel] [GIT] ppl/w3ppl(master): Old news item removed from the front page.

29 Apr 2009

Module: ppl/w3ppl
Branch: master
Commit: 33382dfb50977350b34674169853f6c5d9391916
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=33382dfb509...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Apr 29 15:37:28 2009 +0200
Old news item removed from the front page.
---
htdocs/ppl.raw |   11 -----------
 1 files changed, 0 insertions(+), 11 deletions(-)

diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw
index 60fa6dd..3345f93 100644
--- a/htdocs/ppl.raw
+++ b/htdocs/ppl.raw
@@ -102,17 +102,6 @@ version 3</A> or any later version).
   </TD>
 </TR>
-<TR>
-  <TD VALIGN=TOP><TT>Feb&nbsp;22,&nbsp;2009</TT></TD>
-  <TD>
-    <STRONG>PPL development moved to Git</STRONG>
-    <BR>
-    PPL development moved away from CVS and now uses the
-    <A HREF="http://git-scm.com/">Git distributed version control system</A>.
-    See the <A HREF="Download/Git">PPL Git page</A> for all the details.
-  </TD>
-</TR>
-
 </TABLE>
For older news items, see the <A HREF="news">complete news archive</A>.

    