diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-10-25 23:19:55 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-10-25 23:19:55 +0000 |
| commit | defa6b37735ab7daf7df69c7f62337c070a34fe4 (patch) | |
| tree | a77d4250cb6aa7734c1cd2898877d719fa3f75cf /lib/Core | |
| parent | c846affd2d21421d9b10e33b3fe4e3281b0f2655 (diff) | |
| download | klee-defa6b37735ab7daf7df69c7f62337c070a34fe4.tar.gz | |
Update instructions to suggest using llvm-gcc 2.6.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85080 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core')
0 files changed, 0 insertions, 0 deletions