diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-26 15:03:45 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-26 15:03:45 -0500 |
| commit | 9d6ca0836f8b54c672449d1100da3d0d36e07611 (patch) | |
| tree | c135bfa7e85deaa089dbb3fd679aabd696885f60 /.hgignore | |
| parent | 879bb7d5c760d277348a4ab9f799143013680f08 (diff) | |
crud1 compiles with new Reduce
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions