diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-22 12:55:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-22 12:55:18 +0200 |
| commit | 10518d5d84d4fba9b697c6380834c78f58e537e3 (patch) | |
| tree | 0dcdcfdf408aaa168d214391c10f15483d23a5e0 /.gitignore | |
| parent | bd23cce055334704dac503f12451df8bd259b751 (diff) | |
| parent | 28c274bc27fbc5052d3be9196f1ab279b45a60b2 (diff) | |
Merge pull request #32893 from Nehluxhes/delete_gridmap
Disable gridmap selection actions when nothing is selected
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions