diff -r c0bb6a59f587 -r bd904d592881 integration/edition.html --- a/integration/edition.html Thu Oct 25 16:55:24 2012 +0200 +++ b/integration/edition.html Thu Oct 25 18:52:44 2012 +0200 @@ -7,10 +7,10 @@