diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-08-30 20:24:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-30 20:24:38 +0200 |
commit | de5f13e9356c1c075ced91893a67164f062b36bc (patch) | |
tree | 87906b53dd128b6e3c7ab015caa2515b90d982b9 /servers | |
parent | c1b178be3870150e0a7fabe6431aa25d2cf0bfd4 (diff) | |
parent | a401c4e6ac01745ff630ee6ca67b516f0a93330d (diff) |
Merge pull request #63552 from RedMser/file-dialog-disambiguate
EditorFileDialog: disambiguate recent/favorite items
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions