]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - filter.ggo
Move ggo files to a separate directory.
[paraslash.git] / filter.ggo
diff --git a/filter.ggo b/filter.ggo
deleted file mode 100644 (file)
index e3ac59a..0000000
+++ /dev/null
@@ -1,24 +0,0 @@
-option "loglevel" l
-#~~~~~~~~~~~~~~~~~~
- "set loglevel (0-6)"
-int typestr="level"
-default="3"
-optional
-
-option "filter" f
-#~~~~~~~~~~~~~~~~
-"Specify filter."
-string typestr="filter_spec"
-optional
-multiple
-details="
-       May be given multiple times to 'pipe' the stream through
-       arbitrary many filters in an efficient way.  The same filter
-       may appear more than once, order matters.
-
-       Filter options may be specified for each '-f' option
-       separately. Note that you will have to quote these options
-       like this:
-
-               -f 'compress --inertia 5 --damp 2'
-"