diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-14 14:23:15 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-15 00:17:10 +0100 |
| commit | 44d0d9bc1f93da603b8e14c9499e086e220f4694 (patch) | |
| tree | dc268e235a0642aeb3a3a4c5776abb87e4c4a136 /Makefile | |
| parent | 9dc94bf1f28eb64b2c02172c47b175c75757699f (diff) | |
| download | klee-44d0d9bc1f93da603b8e14c9499e086e220f4694.tar.gz | |
Clean up travis build scripts a little.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions