diff -r 0d7de9d0878b -r 8c3a5b827e48 doc/us/index.html --- a/doc/us/index.html Thu Apr 03 14:30:36 2014 +0100 +++ b/doc/us/index.html Thu Apr 03 14:59:03 2014 +0100 @@ -93,9 +93,11 @@
Version 1.3.0 [02/Apr/2014]