# HG changeset patch # User Paul Issott # Date 1397864731 -3600 # Node ID fe67a2e060476f432482947ae3b5380240e1af8b # Parent a3d4270336b0b2eeeaba0888f7ecced20dab29ab en: tiny edits diff -r a3d4270336b0 -r fe67a2e06047 en/devel/index.php --- a/en/devel/index.php Sat Apr 19 00:02:03 2014 +0200 +++ b/en/devel/index.php Sat Apr 19 00:45:31 2014 +0100 @@ -30,7 +30,7 @@