diff options
| author | Gabor Kelemen <kelemeng@ubuntu.com> | 2022-04-24 20:13:55 +0200 |
|---|---|---|
| committer | Thorsten Behrens <thorsten.behrens@allotropia.de> | 2022-04-26 10:08:54 +0200 |
| commit | f0ba8e43da0cbf4d47f18ec2adce2173176d1bef (patch) | |
| tree | 5e4edd130ea5824da724adcec6e14877b0a9d37a /distro-configs | |
| parent | 437b3b9d4ffc1cfba3bcc9dff1a72fe2656e3b30 (diff) | |
Drop unused LanguageTool extension
Do not bundle LanguageTool which is at a 10 year old version (1.7)
while upstream has a lot of new releases (now at version 5.5.x)
It is not bundled by any downstream distributions
so it makes no much sense to keep it integrated here.
Change-Id: Icd2ef151b1b8d0252ffa3db0caaba576f2783fa9
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/133356
Tested-by: Jenkins
Reviewed-by: Thorsten Behrens <thorsten.behrens@allotropia.de>
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/Jenkins/Linux_ubsan_master.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/distro-configs/Jenkins/Linux_ubsan_master.conf b/distro-configs/Jenkins/Linux_ubsan_master.conf index 7f225e3258ff..5c73e601b7db 100644 --- a/distro-configs/Jenkins/Linux_ubsan_master.conf +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -6,7 +6,6 @@ --enable-eot --enable-epm --enable-evolution2 ---enable-ext-languagetool --with-system-mariadb --enable-ext-nlpsolver --enable-ext-numbertext |