diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-04-29 16:07:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-29 16:07:34 +0200 |
| commit | b99b212855ed3d208405bf5f12f43034e5f960cf (patch) | |
| tree | 659dc1ca3f08874982aa0c6cd3cb84f095ff5344 /editor/property_editor.h | |
| parent | f6e29addd433130100061935b9a2b8f6de38254b (diff) | |
| parent | d46e411b4475ffd5cc6871b5e5dc70150d930164 (diff) | |
Merge pull request #38307 from Calinou/shell-open-res-user-warning
Warn when trying to open `res://` or `user://` with `OS.shell_open()`
Diffstat (limited to 'editor/property_editor.h')
0 files changed, 0 insertions, 0 deletions