diff -r cab5c9e10f90 -r 84cf2be7e8bd web/config.php --- a/web/config.php Fri Oct 28 18:48:14 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,12 +0,0 @@ -