diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-08 10:33:58 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-08 10:33:58 -0500 |
| commit | 443e2b566220b4aa3921527742e1efbabc0eb0e3 (patch) | |
| tree | 668e1182a47e66702fa97dbef4025dd9c1df40ac /src/c | |
| parent | c5e1cb8c69d62a6ff64cb06d7f263f9c274cb4de (diff) | |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files
Diffstat (limited to 'src/c')
0 files changed, 0 insertions, 0 deletions