diff options
| author | MartinNowack <martin.nowack@gmail.com> | 2016-10-14 16:55:31 +0200 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-10-14 15:55:31 +0100 |
| commit | b816fe6883532500225d8a9102574d832b65f65a (patch) | |
| tree | c6fc72ab7ba636933f6919c277c4a56940aaca6f /Makefile.rules | |
| parent | c1cc00efe3aded180c889d92a12fadd822f86f06 (diff) | |
| download | klee-b816fe6883532500225d8a9102574d832b65f65a.tar.gz | |
Use newer trusty-based Travis CI (#452)
Diffstat (limited to 'Makefile.rules')
0 files changed, 0 insertions, 0 deletions