diff -r 49ff61b8baf6 -r 0bad43271c65 web/common.php --- a/web/common.php Thu Dec 15 18:42:18 2011 +0100 +++ b/web/common.php Thu Dec 15 22:41:46 2011 +0100 @@ -13,7 +13,7 @@ /** * Base configuration */ -$C_default_rep = 'edito-webdoc'; +$C_default_rep = 'enmi2011'; $C_feedback_form_url = 'https://spreadsheets.google.com/spreadsheet/viewform?hl=en_US&formkey=dDZILVdXVHRzd0xhWGVZXzkweHN2RGc6MQ#gid=0'; $archives_list = array(