diff -r e5421b704368 -r 6cd5bc3dc7a2 web/index3.html --- a/web/index3.html Fri Nov 16 12:53:58 2012 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,30 +0,0 @@ - - -