diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-13 18:30:12 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 14:46:52 +0000 |
| commit | 8a460a94c6a442e22187e8b5b3560bed34460f4b (patch) | |
| tree | e8f8684388fdee7b3b969667f4016f3d5b434628 /autoconf/install-sh | |
| parent | aa9d6e30f6581f8b1a803e1e459a2ef3f3dbb697 (diff) | |
| download | klee-8a460a94c6a442e22187e8b5b3560bed34460f4b.tar.gz | |
Remove the last remnants (I think) of DejaGNU. Goodbye!
Say hello to our new friend, llvm-lit :)
Diffstat (limited to 'autoconf/install-sh')
0 files changed, 0 insertions, 0 deletions