diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-03-16 17:07:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-16 17:07:15 -0700 |
| commit | df7d3708c5b535c3696943322a14ec19a175e30c (patch) | |
| tree | 28d925e784101f150a6b17a7fd89a1b52bb0179b /modules/mono | |
| parent | 3f631c2567429f00f98fa15a4d49116789dcf4a6 (diff) | |
| parent | 579fffd97ef406fd057949da73757e0b98206dab (diff) | |
Merge pull request #27145 from YeldhamDev/editfilediag_favrm_remove
Remove unused 'fav_rm' ToolButton in EditorFileDialog
Diffstat (limited to 'modules/mono')
0 files changed, 0 insertions, 0 deletions