]> git.tuebingen.mpg.de Git - adu.git/blobdiff - adu.ggo
Add new logo.
[adu.git] / adu.ggo
diff --git a/adu.ggo b/adu.ggo
index 873cc22cdca5d2102f27fc3731515c9e84048d3c..f8c4a1fccfd531c6ba711350673b5f979f9e5841 100644 (file)
--- a/adu.ggo
+++ b/adu.ggo
@@ -14,18 +14,6 @@ usage patterns of subdirectories and/or files owned by a given user id.
 section "General options"
 #########################
 
-option "config-file" c
-#~~~~~~~~~~~~~~~~~~~~~
-"(default='~/.adurc')"
-string typestr="filename"
-optional
-details="
-       Options may be given at the command line or in the
-       configuration file. As usual, if an option is given both at
-       the command line and in the configuration file, the command
-       line option takes precedence.
-"
-
 option "loglevel" l
 #~~~~~~~~~~~~~~~~~~
 "Set loglevel (0-6)"