diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-06-27 22:07:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-27 22:07:38 +0200 |
| commit | 5054e27aa0d7c29e686a9a6187b95349cea42a45 (patch) | |
| tree | 2d6df33ec140df9850951ce506daa29476fe5025 /doc/classes/File.xml | |
| parent | ff0583770a8152cd63265e26e2529a170c179f68 (diff) | |
| parent | c33707e9b44478f6efaf57a0ca9c8496bcb87695 (diff) | |
Merge pull request #39885 from hinlopen/improve-quick-open
QuickOpen improvements
Diffstat (limited to 'doc/classes/File.xml')
0 files changed, 0 insertions, 0 deletions