diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2019-05-29 17:31:13 +0200 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2019-05-29 21:41:29 +0200 |
commit | c657b6d617d84bc97d8d527862b83fa1fafa05a4 (patch) | |
tree | 0203ecf81a2f06d5d5c5ba9b5b936496f3114818 /external | |
parent | 65167c708afb475aa628b8289e78a48abdf37119 (diff) |
missing include
Change-Id: I3357679d99a4ac2dab21867890140ab5ef2290ad
Reviewed-on: https://gerrit.libreoffice.org/73177
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
Diffstat (limited to 'external')
0 files changed, 0 insertions, 0 deletions