# HG changeset patch
# User Paul Issott
# Date 1464536062 -3600
# Node ID 60f0e46985a5821321cfa54c4b51c659d32fc604
# Parent 6e5673c7fa0875d739010ca99fb2b0f1a9fd6f32
Tiny edit
diff -r 6e5673c7fa08 -r 60f0e46985a5 settings.cgi
--- a/settings.cgi Mon May 23 16:31:22 2016 +0300
+++ b/settings.cgi Sun May 29 16:34:22 2016 +0100
@@ -549,7 +549,7 @@
$(_ 'Manual edit: %s' "~/.profile")
-$(_ 'To take effect: log out and log in to system or execute command in the terminal:')
+$(_ 'To take effect: log out and log in to system or execute a command in the terminal:')
. ~/.profile