diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-01-25 21:40:12 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-25 21:40:12 +0100 |
commit | 38db12b45a65699b50a25524bab90aab743ccaa9 (patch) | |
tree | 06909d9c17018f557b2b4e3c8686dad30cd2898b /modules/gridmap/icons | |
parent | 7f0b5a373aebcfd3f798c05155b70edbe3e3fb20 (diff) | |
parent | 1a606b1a046a8d218fd4a4a90b495e8708f3e0c0 (diff) |
Merge pull request #45398 from Calinou/doc-resource-name-usage
Document a built-in use of `Resource.resource_name`
Diffstat (limited to 'modules/gridmap/icons')
0 files changed, 0 insertions, 0 deletions