diff options
| author | Chris Patti <feoh@feoh.org> | 2023-06-22 15:32:02 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-22 15:32:02 -0400 |
| commit | 80d8d6947a21ed30b9e8c71b631f7761dbbc823a (patch) | |
| tree | fdd707b2f7c413390742f8addb1a427d4fd5bbca /doc/tags | |
| parent | 8064bb63c5ec973bcd8e114c2984475a77981465 (diff) | |
| parent | d8b3b774bb642a9bdb2930f2ef0dd09e29a2f00c (diff) | |
Merge pull request #347 from ilian/patch-1
Fix typo in ignorecase comment
Diffstat (limited to 'doc/tags')
0 files changed, 0 insertions, 0 deletions