diff -r 542252e0c615 -r dbd46ed42b0d web/prologue.html --- a/web/prologue.html Wed Dec 12 03:10:24 2012 +0100 +++ b/web/prologue.html Wed Dec 12 04:01:13 2012 +0100 @@ -25,7 +25,7 @@ -->