diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-03-13 20:17:23 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-03-13 20:17:23 -0400 |
| commit | c8ac2b226b55a960d6956747a34c2d981ee2d1e9 (patch) | |
| tree | e19e1a4ed8b0b56b769385d073519878c63aefc7 /src/corify.sml | |
| parent | d037dbd4aa9092606014ce97baa3f59c3b2da7d3 (diff) | |
Delete C temporary directories, even if other files wind up there
Diffstat (limited to 'src/corify.sml')
0 files changed, 0 insertions, 0 deletions