diff -r 99d281de4f31 -r 69d52a7b1b8a integration/edition.html --- a/integration/edition.html Thu Jun 06 17:35:51 2013 +0200 +++ b/integration/edition.html Fri Jun 07 11:31:34 2013 +0200 @@ -337,7 +337,7 @@