diff -r a78d44f5cb8b -r 1c802a62425f web/hanna-arendt/config.php
--- a/web/hanna-arendt/config.php	Wed May 15 16:37:04 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-<?php
-$config = array(
-   	'rep' => basename(__DIR__),
-);
\ No newline at end of file