diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2017-05-12 16:59:23 +0200 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2017-05-17 20:49:36 +0200 |
commit | ffb1d4ea965c83651dc4086ae94a031916959a8a (patch) | |
tree | 73b0df1fbe750b0da4af36bacb2c722c106d69bd /distro-configs/LibreOfficeCoverity.conf | |
parent | fe45f18fa507dfcd2ea87b8b1969e730a6357d16 (diff) |
Fix integer types
Change-Id: Ia2dc32929da789622ed98764944d4e412a296639
Reviewed-on: https://gerrit.libreoffice.org/37723
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
Diffstat (limited to 'distro-configs/LibreOfficeCoverity.conf')
0 files changed, 0 insertions, 0 deletions