diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-22 11:56:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-22 11:56:48 +0200 |
| commit | 4ab4d4a59baf63c73ffbc507dea2a4de0e4aec3f (patch) | |
| tree | 4f74ee7ac3174d13be90731589e32f1572880eaa /editor/dictionary_property_edit.h | |
| parent | d2f5c43ad96822ac70fc3efa3d5712c88fba2047 (diff) | |
| parent | 2b8d65761ceabecaba0f5e1d71111997c5bf8b69 (diff) | |
Merge pull request #31489 from iwek7/removeRenameRootOption
Showing only working options in filesystem dock menu
Diffstat (limited to 'editor/dictionary_property_edit.h')
0 files changed, 0 insertions, 0 deletions