diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-07-08 08:16:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-08 08:16:50 +0200 |
commit | af801820169865498f074ea9f155e680fc6db027 (patch) | |
tree | 552484a6f3a9336c344bcae53428c54345c0035b /core/io/resource_importer.h | |
parent | 17e9030e485e0b9147fa573d45ab71f606b3442b (diff) | |
parent | 9a77d748c0d4e1c3dceb40216b9a345073032361 (diff) |
Merge pull request #30407 from qarmin/small_fixess
Fixes minor issues found by static analyzer
Diffstat (limited to 'core/io/resource_importer.h')
0 files changed, 0 insertions, 0 deletions