diff options
author | 2015-02-22 16:17:32 -0400 | |
---|---|---|
committer | 2015-02-22 16:17:32 -0400 | |
commit | ac214984fd90d6b5ba39ad4beab5d11aa4c092cc (patch) | |
tree | 9d1270c79b25c8c9cd0aea6f46a46ea3ffaf3231 /.gitignore | |
parent | 855848222eb3adb92e74544cdf0b79cf7d325f9c (diff) |
accept longer prefix in case expression fixup
Eg, "Right r_a36iJ ->"
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions