diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-23 15:01:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-23 15:01:13 +0100 |
| commit | ee3179fc5c3e5f10534d5166aebbe5b64f3bfc92 (patch) | |
| tree | 02d225e3525eaf157ec689df7bf3def6985e5640 /editor/node_dock.cpp | |
| parent | 949871cba6f262181e35e8adaee7e2bcf27ed2b2 (diff) | |
| parent | 0a0800ebec9f8a5c6158b317e417c19995c027cc (diff) | |
Merge pull request #13212 from AndreaCatania/margin
Removed shape margin
Diffstat (limited to 'editor/node_dock.cpp')
0 files changed, 0 insertions, 0 deletions