# 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