diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2018-04-08 11:36:55 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-08 11:36:55 -0300 |
| commit | 2ba01613a3a77a212af83034311015c91b0c6759 (patch) | |
| tree | 98258e3bce55155ad669e2902801f17dfa5633f2 /servers | |
| parent | a6c9ccf0075aec6790fbe938bac8b434e5db01f8 (diff) | |
| parent | bfae02c4ce34d425f5341f9bff2f036bdabe78ee (diff) | |
Merge pull request #17123 from Jason0214/BugFix_UpdataFavoriteListWhenMoveOrRenameDir
Editor: update favortite_dirs after move or rename a file in filesytem_dock
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions