diff options
| author | Michael Weghorn <m.weghorn@posteo.de> | 2019-02-21 16:39:23 +0100 |
|---|---|---|
| committer | Michael Weghorn <m.weghorn@posteo.de> | 2019-02-21 22:42:56 +0100 |
| commit | 7d2afd1c205d324447e42a8281f646b086882cd5 (patch) | |
| tree | 98f74c961ef4d32b4c82022aa67770e1e7887b88 /icon-themes/sifr_dark/cmd/lc_deleteannotation.png | |
| parent | 35701e731728bc010b19e5ebb154c3fe6682647e (diff) | |
'--enable-kde5' for Jenkins CI builds
As discussed in ESC call of 2019-02-21, enable kde5
for the Jenkins CI builds to detect build issues *before*
the changes get merged.
Change-Id: I44b0e611348a22b390b6ec89d3ed1d7eb7bddd63
Reviewed-on: https://gerrit.libreoffice.org/68165
Tested-by: Jenkins
Reviewed-by: Michael Weghorn <m.weghorn@posteo.de>
Diffstat (limited to 'icon-themes/sifr_dark/cmd/lc_deleteannotation.png')
0 files changed, 0 insertions, 0 deletions