diff options
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 |