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 63f55c4e8282..bcbdab2c1d17 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -8,7 +8,6 @@ --enable-option-checking=fatal --with-system-libs --with-system-headers ---without-system-npapi-headers --without-system-libcmis --without-system-cppunit --without-system-libmwaw |