[PPL-devel] [GIT] ppl/w3ppl(master): Copy-and-paste mistake fixed.
Roberto Bagnara
bagnara at cs.unipr.it
Wed Nov 17 20:03:03 CET 2010
Module: ppl/w3ppl
Branch: master
Commit: 4a02b3882786ca8159b0231cdd1f3d179f621361
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=4a02b3882786ca8159b0231cdd1f3d179f621361
Author: Roberto Bagnara <bagnara at 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 17, 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
More information about the PPL-devel
mailing list