X-Git-Url: https://git.p6c8.net/devedit.git/blobdiff_plain/d8d635a1b1d6d9ffa05f3cfaaa6d8bf9d2b9bf81..c2b18d37a29420fc5b1e33c19a0e69d00016c621:/README?ds=sidebyside

diff --git a/README b/README
index 361c3f8..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