diff options
| author | Michael Boelen <michael.boelen@cisofy.com> | 2018-01-11 12:19:29 +0300 |
|---|---|---|
| committer | Michael Boelen <michael.boelen@cisofy.com> | 2018-01-11 12:19:29 +0300 |
| commit | 35a1524d07fce30954c28aeede2ce7d21cd45ed3 (patch) | |
| tree | 2598e134fce2c5f0711c98c67b587b909c55c871 /include/parameters | |
| parent | 1504370e416240d486e7aa1f88fbd7277c97e77d (diff) | |
Added alias for skipping plugins
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 ;; |