diff options
Diffstat (limited to 'include/parameters')
-rw-r--r-- | include/parameters | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/parameters b/include/parameters index eb7e5ce5..a7f3f4af 100644 --- a/include/parameters +++ b/include/parameters @@ -344,7 +344,7 @@ ;; # Skip execution of plugins - --skip-plugins | --no-plugins) + --skip-plugins | --no-plugins | --noplugins) SKIP_PLUGINS=1 ;; |