diff options
Diffstat (limited to 'distro-configs/LibreOfficeCoverity.conf')
-rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index 66218a17379a..63f55c4e8282 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -14,7 +14,6 @@ --without-system-libmwaw --enable-dbus --enable-extension-integration ---enable-lockdown --enable-kde4 --enable-evolution2 --enable-scripting-beanshell |