# HG changeset patch # User Paul Issott # Date 1397676170 -3600 # Node ID e0c9c2961316ede0b00a24b9d953ffab979e5d8c # Parent c9c723941bf389b31fa4235ee0ba47d8586cd242 en: tiny edits diff -r c9c723941bf3 -r e0c9c2961316 en/devel/index.php --- a/en/devel/index.php Mon Apr 14 20:05:17 2014 +0100 +++ b/en/devel/index.php Wed Apr 16 20:22:50 2014 +0100 @@ -29,9 +29,9 @@