diff options
| author | Stephan Falke <falke@iti.uka.de> | 2014-04-16 10:11:39 +0200 |
|---|---|---|
| committer | Stephan Falke <falke@iti.uka.de> | 2014-04-16 10:11:39 +0200 |
| commit | 7f4ae9b520aa1f1e5df789d237e66c87bd05db96 (patch) | |
| tree | d1b619e4137619483d687b12eefda7124a131b26 /.gitignore | |
| parent | 5e0682ee26e02c710abd284f9f965e7a2c9a9f32 (diff) | |
| download | klee-7f4ae9b520aa1f1e5df789d237e66c87bd05db96.tar.gz | |
Fixed compilation error if uClibc is not used.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions