diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-04-18 12:49:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-18 12:49:47 +0200 |
| commit | 952f7d71aa2cbc9c2a0e3387de29345625cff818 (patch) | |
| tree | 7bc213f699a86a2b5df8e864f3b7fab140829f53 /editor/icons | |
| parent | 3aaa5514d055ee4ad465b130109b351d0f05dd23 (diff) | |
| parent | 2cfa86122294f6b5402bf9852171023be1fc15cb (diff) | |
Merge pull request #18142 from AndreaCatania/coverity1
Removed useless check
Diffstat (limited to 'editor/icons')
0 files changed, 0 insertions, 0 deletions