diff options
author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-11-24 05:27:02 +0300 |
---|---|---|
committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-11-24 05:27:02 +0300 |
commit | 8905a333c9666be628798c04af98a2fdeeb75db5 (patch) | |
tree | eb32a381891e684c34adf0dddc17e6b6cf761159 /doc | |
parent | 23c90e37ff48707c4aabdb8b1460df382a600d7a (diff) | |
download | sciteco-8905a333c9666be628798c04af98a2fdeeb75db5.tar.gz |
lexer.auto: use case-sensitive searches
* lexer.checkheader is therefore case-sensitive now as well
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions