diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-21 11:45:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-21 11:45:04 -0400 |
| commit | 1c397214fce72c2b7c40d9bedde9f0d6c14829d9 (patch) | |
| tree | 502ef8ac60b6ab054bea740f53ef75ae77f0c66e /.hgignore | |
| parent | 0f7c2c431c9871cdffcde7fc0c8a86815a72e89f (diff) | |
Change List.mapM' to avoid leaving functions around
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions