diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-08-17 11:21:22 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-08-17 11:21:22 +0200 |
| commit | 1fda5ea3242486c12ad3fb51de49d5a544471913 (patch) | |
| tree | 53fda56917b761e42bbe2edd2835f2b0d0e8c595 /misc/scripts/validate_extension_api.sh | |
| parent | 678c89aa1ad68b8534b740ae21e6c6f914779a83 (diff) | |
| parent | f80f4eb390e22b3c20b2697ca15432d91b6f1de4 (diff) | |
| download | redot-engine-1fda5ea3242486c12ad3fb51de49d5a544471913.tar.gz | |
Merge pull request #79529 from geowarin/gridmap_shortcuts
Make gridmap shortcuts editable and not conflict with other plugins
Diffstat (limited to 'misc/scripts/validate_extension_api.sh')
0 files changed, 0 insertions, 0 deletions