diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-06-15 18:31:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-15 18:31:48 +0200 |
commit | ee58126cd880d827adb5f7a9687119991c5b18f4 (patch) | |
tree | fca02b5294d1d31f319c54fad683845ec0bac15a /modules/mono/mono_gd/gd_mono_log.cpp | |
parent | d4178bec1f1fc0770e8d270444f446df2c4fa105 (diff) | |
parent | 89ce9a6f4694711e383c3d3e42141d176a12529e (diff) |
Merge pull request #29808 from akien-mga/fix-Wduplicated-branches
Mono: Fix -Wduplicated-branches warning
Diffstat (limited to 'modules/mono/mono_gd/gd_mono_log.cpp')
0 files changed, 0 insertions, 0 deletions