diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-11-28 13:26:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-28 13:26:28 +0100 |
| commit | 05755618c5017799eb584b13b069d58aeb91eed0 (patch) | |
| tree | 751cc007fe4ab259fce9c6e9219289d5e4cd5803 /core/io/stream_peer.h | |
| parent | ab9bbce3114d476bc00bf19aa5eaec6998f29514 (diff) | |
| parent | 99ffd748f1f33bf8ff433d8510f3683c8f4e6737 (diff) | |
Merge pull request #23993 from Kanabenki/autocomplete-ignore-case
Add suggestions ignoring case at the end of the code autocomplete
Diffstat (limited to 'core/io/stream_peer.h')
0 files changed, 0 insertions, 0 deletions