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 | d069e06ce669999393e5db361ac378804adbe3ba (patch) | |
tree | e19e1a4ed8b0b56b769385d073519878c63aefc7 /src/pathcheck.sig | |
parent | 483df3cb6dbb33bb919fc7944527b339c6f70abc (diff) |
Delete C temporary directories, even if other files wind up there
Diffstat (limited to 'src/pathcheck.sig')
0 files changed, 0 insertions, 0 deletions