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 43e57488c4d5..66218a17379a 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -1,7 +1,6 @@ --enable-assert-always-abort --without-help --enable-gio ---disable-gnome-vfs --without-myspell-dicts --disable-ccache --disable-gstreamer-0-10 |