diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-23 22:25:37 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-23 22:25:37 +0100 |
| commit | 6009af9b7c1270e612b3a21118283b9bc6925aac (patch) | |
| tree | d904400b3930ec17a81f4e146feae40282504d62 /editors | |
| parent | a71d0ecd774008bbfe8cb2215ffa6dedd5024877 (diff) | |
| parent | dd8c3840cbed2c204a71dd5baec3dd4a3194806e (diff) | |
Merge #1200
1200: Allows searching for case-equivalent symbols (fixes #1151) r=matklad a=jrvidal
I couldn't find a nice, functional way of calculating the ranges in one pass so I resorted to a plain old `for` loop.
Co-authored-by: Roberto Vidal <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions