diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2018-08-08 14:40:32 +0200 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2018-08-08 16:50:21 +0200 |
| commit | d1ffda89c59a11a00f9d846d540fc6502a5cb289 (patch) | |
| tree | 28d6db16c31f23373d007aab7bbffea5b3fa52ac /distro-configs/Jenkins | |
| parent | e1d6ed941590a771abfc73f9eef4a98346eca762 (diff) | |
Remove presumably unused distro-configs/Jenkins/*_libreoffice-5-0.conf
Change-Id: I0b6c2d116496da64f91cb5cafb81b69e02366d96
Reviewed-on: https://gerrit.libreoffice.org/58743
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
Diffstat (limited to 'distro-configs/Jenkins')
| -rw-r--r-- | distro-configs/Jenkins/Linux_libreoffice-5-0.conf | 0 | ||||
| -rw-r--r-- | distro-configs/Jenkins/MacOSX_libreoffice-5-0.conf | 0 | ||||
| -rw-r--r-- | distro-configs/Jenkins/Win32_libreoffice-5-0.conf | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/Linux_libreoffice-5-0.conf b/distro-configs/Jenkins/Linux_libreoffice-5-0.conf deleted file mode 100644 index e69de29bb2d1..000000000000 --- a/distro-configs/Jenkins/Linux_libreoffice-5-0.conf +++ /dev/null diff --git a/distro-configs/Jenkins/MacOSX_libreoffice-5-0.conf b/distro-configs/Jenkins/MacOSX_libreoffice-5-0.conf deleted file mode 100644 index e69de29bb2d1..000000000000 --- a/distro-configs/Jenkins/MacOSX_libreoffice-5-0.conf +++ /dev/null diff --git a/distro-configs/Jenkins/Win32_libreoffice-5-0.conf b/distro-configs/Jenkins/Win32_libreoffice-5-0.conf deleted file mode 100644 index e69de29bb2d1..000000000000 --- a/distro-configs/Jenkins/Win32_libreoffice-5-0.conf +++ /dev/null |