diff -r ec87661c2238 -r c9c75ab3de3e web/index3.html --- a/web/index3.html Fri Nov 09 18:34:47 2012 +0100 +++ b/web/index3.html Tue Nov 13 17:59:26 2012 +0100 @@ -19,10 +19,8 @@