diff options
| author | Gabor Kelemen <kelemeng@ubuntu.com> | 2022-04-24 19:20:32 +0200 |
|---|---|---|
| committer | Thorsten Behrens <thorsten.behrens@allotropia.de> | 2022-04-26 10:08:30 +0200 |
| commit | 437b3b9d4ffc1cfba3bcc9dff1a72fe2656e3b30 (patch) | |
| tree | 213343a3ba923c05bdec209d11e2d64ca0b1e0ca /distro-configs/Jenkins | |
| parent | 2739f18fa93733a128321255aa49ddbefde36314 (diff) | |
Drop unused CT2N extension
It is not bundled by any downstream distributions
so it makes no much sense to keep it integrated here.
Change-Id: I80180e53e050b8b3cd1b173ef01b51e8d706f295
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/133355
Tested-by: Jenkins
Reviewed-by: Thorsten Behrens <thorsten.behrens@allotropia.de>
Diffstat (limited to 'distro-configs/Jenkins')
| -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 bfc7465d50ff..7f225e3258ff 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-ct2n --enable-ext-languagetool --with-system-mariadb --enable-ext-nlpsolver |