diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-04 07:59:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-04 07:59:28 +0200 |
| commit | 7149be5b89040b37b444695e828a519d11e9f87b (patch) | |
| tree | b8d0d3319fccd55743e0342510c268bc3500e73e /doc | |
| parent | 7040a390ad60ebf3f4c28dd1d2c99136a423f264 (diff) | |
| parent | 0ecdd9653fbee296666ab80b9cdb11149505ebe1 (diff) | |
Merge pull request #10892 from kubecz3k/quick_open
Improve 'quick open' search time
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions