X-Git-Url: https://git.p6c8.net/devedit.git/blobdiff_plain/94248ecd0f49b4a4e0719e080559d91ec1627dfb..8d7736615f81a1ce0ff42784910534f6af260f32:/README?ds=sidebyside 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