diff options
author | Don Stewart <dons@galois.com> | 2007-11-08 01:35:39 +0100 |
---|---|---|
committer | Don Stewart <dons@galois.com> | 2007-11-08 01:35:39 +0100 |
commit | 59882d0779b0c9dd4ced0d18208afed6fa18acf0 (patch) | |
tree | d30eec4f3bdaae08b9ed20a87b67167162a682c5 /man | |
parent | 8b7896e27cd6b72c919214e4aeffa23e4e6b50d1 (diff) | |
download | metatile-59882d0779b0c9dd4ced0d18208afed6fa18acf0.tar metatile-59882d0779b0c9dd4ced0d18208afed6fa18acf0.zip |
maybe False (const True) -> isJust. spotted by shachaf
darcs-hash:20071108003539-cba2c-b435890d8990e3a7f6b2df40823db5b4ed913a02
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions