diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-11-03 22:11:42 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-11-03 22:11:42 +0100 |
| commit | 31cc8a750f8df10f0a69a8ba9db08a15efa2f415 (patch) | |
| tree | bee823242daddc0a4e10987170f5ea6bbb09d316 /src/util | |
| parent | 30ecc23f94aff98f1cfde23a82b455693f8aec15 (diff) | |
change cmp to be case-insensitive (to get tests to pass)
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions