diff options
author | Xisco Fauli <xiscofauli@libreoffice.org> | 2019-10-24 13:38:23 +0200 |
---|---|---|
committer | Xisco Faulí <xiscofauli@libreoffice.org> | 2019-10-24 15:58:57 +0200 |
commit | dca2adcdb6ed93dff76468d02e0de6984fae3ec9 (patch) | |
tree | 8463de82758f80933d09d413854eb62c64f8001b /distro-configs/Jenkins | |
parent | dbe5388c92d988c106cb8def839d031008a0d642 (diff) |
tdf#115967: fix windows build
Also fix a misleading comment
Change-Id: Ide6096291c2fc6c43cfd7116af7798ae03069fab
Reviewed-on: https://gerrit.libreoffice.org/81448
Tested-by: Jenkins
Reviewed-by: Xisco Faulí <xiscofauli@libreoffice.org>
Diffstat (limited to 'distro-configs/Jenkins')
0 files changed, 0 insertions, 0 deletions