diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-13 19:53:07 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-13 19:53:07 -0400 |
commit | 291fe704e9a5be0a71cd03418ec5229c99910898 (patch) | |
tree | e1698a7232fbee02d36d8a826948544a35420c1f /tests/cut.ur | |
parent | 92865c5cf94bde77b7250450042e915a48e0025d (diff) |
Name disjointness check changed to case insensitive
Diffstat (limited to 'tests/cut.ur')
0 files changed, 0 insertions, 0 deletions