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 34b9593a6984..eee0914ca2f0 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -4,7 +4,6 @@ --without-myspell-dicts --disable-ccache --disable-pdfium ---disable-gstreamer-0-10 --enable-gstreamer-1-0 --enable-option-checking=fatal --with-system-libs |