diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-03-05 00:19:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-05 00:19:48 +0100 |
commit | 3aff78f53242df3a5541747e818ce4ac68219a16 (patch) | |
tree | ae6c36f51eabc5a9010044e1a9f45bb06846b12d /core/string_name.h | |
parent | 0952522e8b8fe59f36566001c02883e482c0096b (diff) | |
parent | 33406131c1bc0fd2d1664a31154d4f805b6dc76c (diff) |
Merge pull request #26599 from MarianoGnu/fix_25817
TileSetEditor: Expose to the user OneWayCollision+Margin properties.
Diffstat (limited to 'core/string_name.h')
0 files changed, 0 insertions, 0 deletions