diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-19 14:55:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-19 14:55:43 +0200 |
| commit | 9c2986abda73e279d575a6d7d8c4f4b3e13a1a39 (patch) | |
| tree | dd45f64a9f5318fba3493177645eb367c2422d17 /platform/android/java/src | |
| parent | 6f1513545bc1da4adfa0db476457577131b3e936 (diff) | |
| parent | c3e66536cc0faaa45a1b15bd90b900e4ae4ff418 (diff) | |
Merge pull request #22247 from groud/fix_polygon_editor
Fixes polygon editor blocking other editor actions (move, scale...)
Diffstat (limited to 'platform/android/java/src')
0 files changed, 0 insertions, 0 deletions