[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