X-Git-Url: https://git.p6c8.net/devedit.git/blobdiff_plain/34f2dd7a8817444939539a58c345895398a0c446..d9c57e6a72261b94d4f2e4ee1e1c8e3757355ad0:/README?ds=sidebyside

diff --git a/README b/README
index 3b3e276..3497087 100644
--- a/README
+++ b/README
@@ -1,5 +1,5 @@
-ReadMe for Dev-Editor 3.x.x
-===========================
+ReadMe for Dev-Editor 3.1
+=========================
 
 Description
 -----------
@@ -94,7 +94,9 @@ forbidden                Specify a list of filenames the user is not allowed to
                          virtual root directory (they must also begin with a
                          slash) and have to be separated by space characters. If
                          a filename contains space characters, you have to put
-                         it into double quotation marks ("/filename").
+                         it into double quotation marks ("/file name").
+
+disable_commands         [Documentation]
 
 userconf_file            Specifies the path to a file which contains
                          user-dependent configuration options (see next section
@@ -119,6 +121,7 @@ options:
 - httproot
 - hide_dot_files
 - forbidden
+- disable_commands
 
 For overriding configuration values you need a special configuration file. The
 path to this file is defined using the "userconf_file" configuration option in
@@ -146,8 +149,8 @@ httproot = /
 aliases = marge bart
 
 Using this, the users whose usernames are "marge" and "bart" use the same
-configuration as "homer". Place any number of username seperated by whitespaces
-here.
+configuration as "homer". You can place an arbitrary number of usernames
+seperated by whitespaces here.
 Note: If one of the users mentioned as an alias and an individual configuration
 section for this user exists too, the one mentioned as an alias is ignored.