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 /editor/quick_open.h | |
| 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 'editor/quick_open.h')
0 files changed, 0 insertions, 0 deletions