From 8d7736615f81a1ce0ff42784910534f6af260f32 Mon Sep 17 00:00:00 2001 From: pcanterino <> Date: Fri, 14 Jan 2011 20:23:54 +0000 Subject: [PATCH] Small changes to README --- README | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README b/README index d887a35..22f5b20 100644 --- a/README +++ b/README @@ -1,4 +1,4 @@ -ReadMe for Dev-Editor 3.1 +ReadMe for Dev-Editor 3.2 ========================= Description @@ -103,7 +103,7 @@ disable_commands Specify a list of commands the user is not allowed to execute. The commands have to be separated by space characters. If you add "@write" to the list, all writing commands - (for example edit, copy, rename etc.) are disabled. + (for example edit, copy, rename etc.) get disabled. userconf_file Specifies the path to a file which contains user-dependent configuration options (see next section @@ -191,7 +191,7 @@ Hard links are not affected by this. ------------------------------------------------ (C) 1999-2000 Roland Bluethgen, Frank Schoenmann -(C) 2003-2009 Patrick Canterino +(C) 2003-2011 Patrick Canterino E-Mail: patrick@patshaping.de WWW: http://devedit.sourceforge.net/ \ No newline at end of file -- 2.34.1