diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-05-02 10:53:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-02 10:53:31 +0200 |
| commit | de4ed8e706a0827f5dfab843a928c50e553713ba (patch) | |
| tree | 1e177e64f8869c7ed7165f60b8188f519ed509db /editor/icons/icon_control.svg | |
| parent | d33308921ddfc2b07d96c97e8fd1a62a2d9a1ba9 (diff) | |
| parent | b11d1196c4807b8dfc9a44061364689878c5854e (diff) | |
Merge pull request #17059 from Jason0214/BugFix_favorite_updating
Editor: update favorite dirs when dir got deleted
Diffstat (limited to 'editor/icons/icon_control.svg')
0 files changed, 0 insertions, 0 deletions