diff options
| author | Elwardi <elwardifadeli@gmail.com> | 2022-01-10 11:31:00 +0100 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-01-10 20:30:18 +0100 |
| commit | 2fb4e3ec9433b9d8d35d7b198a10e6332638ffd4 (patch) | |
| tree | 98bb495d7681c8d9b767d8cc1552bd1508bd0229 /plugin | |
| parent | 0d53066533643fac8d9a1a247bde3cf9132077ad (diff) | |
Force-ignore ignorecase option
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions