diff options
Diffstat (limited to 'distro-configs/LibreOfficeCoverity.conf')
| -rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index eee0914ca2f0..e657f937fffe 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -13,7 +13,7 @@ --enable-dbus --enable-extension-integration --enable-gtk3 ---enable-kde5 +--enable-kf5 --enable-evolution2 --enable-scripting-beanshell --enable-scripting-javascript |