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