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/map.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/map.h')
0 files changed, 0 insertions, 0 deletions