"
-option "no_default_filters" D
-#~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-"deprecated"
-flag off
-details = "
- This option is was deprecated in paraslash-0.4.10 and has no
- effect any more. It will be removed in the next version.
-"
-
option "filter" f
#~~~~~~~~~~~~~~~~
"Specify the filter configuration."