about summary refs log tree commit diff homepage
path: root/.travis
diff options
context:
space:
mode:
authorJörg Thalheim <joerg@thalheim.io>2017-05-23 18:15:59 +0100
committerJörg Thalheim <joerg@thalheim.io>2017-05-24 09:29:33 +0100
commit15858a67921ab4498f37b3b9290ecef9f97180e8 (patch)
tree17b3e480d7351d2337d0a048729ed6888869c5ff /.travis
parent92367dec2ee00cb708454e4c33ff34d80eddb878 (diff)
downloadklee-15858a67921ab4498f37b3b9290ecef9f97180e8.tar.gz
Remove redundant KLEE prefix while logging
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions