diff options
| author | JJ | 2023-01-02 08:32:37 +0000 |
|---|---|---|
| committer | JJ | 2023-01-02 08:37:11 +0000 |
| commit | 459b3739555fed102b139f30df7cf509e9ecb381 (patch) | |
| tree | 10fd2fe592489f9147ace8ea948078382b7107b7 /parse_wiki_text/src/case_folding_simple.rs | |
| parent | e2c4f8c46e27ba182471b945911b21ac6546bd4e (diff) | |
bug fix
this may be slightly slower, however: but we can performance golf later
Diffstat (limited to 'parse_wiki_text/src/case_folding_simple.rs')
0 files changed, 0 insertions, 0 deletions