[PPL-devel] [GIT] ppl/w3ppl(master): Copy-and-paste mistake fixed.

17 Nov 2010

Module: ppl/w3ppl
Branch: master
Commit: 4a02b3882786ca8159b0231cdd1f3d179f621361
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=4a02b388278...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 17 20:02:47 2010 +0100
Copy-and-paste mistake fixed.
---
htdocs/ppl.raw |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw
index 6847965..eb566d3 100644
--- a/htdocs/ppl.raw
+++ b/htdocs/ppl.raw
@@ -50,6 +50,9 @@ version 3</A> or any later version).
<TABLE>
+<TR>
+  <TD VALIGN=TOP><TT>Nov&nbsp;17,&nbsp;2010</TT></TD>
+  <TD>
     <STRONG><FONT COLOR=red>Two in one shot!</FONT></STRONG>
     <BR>
     Fabio Bossi got a Master's degree in Computer Science, with full marks

    