diff options
| author | Pascal Kuthe | 2023-02-16 01:16:51 +0000 |
|---|---|---|
| committer | GitHub | 2023-02-16 01:16:51 +0000 |
| commit | c332b16855c72beaf0297ad1d5768ed83a768792 (patch) | |
| tree | 166a0fb6fcf5b68f9dc1a2c3cc8abc277bdc0270 /docs | |
| parent | 0f64f31d8b89c24910208bc50baa8ce03c00fbf3 (diff) | |
ignore case while filtering completions (#6008)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions