diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2019-08-26 10:18:09 +0200 |
---|---|---|
committer | Michael Stahl <Michael.Stahl@cib.de> | 2019-08-26 16:24:24 +0200 |
commit | ffad51e9e625a22f1efab3da7886baf4134b444f (patch) | |
tree | 3c987615fc8bfe3c084a4f7dda7fb112fc982366 /xmlhelp | |
parent | 87c79663f8ebd08a9a1a2222843994fc0effcf9f (diff) |
Improve check
Change-Id: I8280a81eef2ced0ff0ace51ea9f094421abafe13
Reviewed-on: https://gerrit.libreoffice.org/78108
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
(cherry picked from commit 761e6dd25782420bf06e4a2ff3205a79b6cbb136)
Reviewed-on: https://gerrit.libreoffice.org/78129
Reviewed-by: Michael Stahl <Michael.Stahl@cib.de>
Diffstat (limited to 'xmlhelp')
0 files changed, 0 insertions, 0 deletions