diff options
| author | Thorsten Behrens <Thorsten.Behrens@CIB.de> | 2018-09-05 02:53:07 +0200 |
|---|---|---|
| committer | Thorsten Behrens <Thorsten.Behrens@CIB.de> | 2018-12-17 18:33:13 +0100 |
| commit | 410bf59de02192c2daf1158b9de76ec0ebab4c56 (patch) | |
| tree | be010e92b862f169076de979796075c925c3e576 /distro-configs/LibreOfficeCoverity.conf | |
| parent | 6a53832080cf201e960113de8e1887d99e857606 (diff) | |
kde5: remove older kde/tde plugins, and references to that
KDE4 is out of maintenance upstream since Nov. 2014, and binaries
provided by TDF have switched to KDE5 as the official backend.
Change-Id: I165465b56d3ba3a18912b203c06ae8fc6111c0c9
Reviewed-on: https://gerrit.libreoffice.org/60014
Reviewed-by: Thorsten Behrens <Thorsten.Behrens@CIB.de>
Tested-by: Thorsten Behrens <Thorsten.Behrens@CIB.de>
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 e387254a6405..34b9593a6984 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -14,7 +14,7 @@ --enable-dbus --enable-extension-integration --enable-gtk3 ---enable-kde4 +--enable-kde5 --enable-evolution2 --enable-scripting-beanshell --enable-scripting-javascript |