about summary refs log tree commit diff homepage
path: root/.travis
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2015-04-02 17:52:30 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2015-04-02 17:52:30 +0100
commit8d7627bc4a7f86c361a843f5c9f2e95eb1b2b848 (patch)
tree53b02450645be04004422b6de7fefb6be86c6546 /.travis
parentd8f69a660f0477abdd20d96b7172113c81940c48 (diff)
downloadklee-8d7627bc4a7f86c361a843f5c9f2e95eb1b2b848.tar.gz
Silenced some compilation warnings.
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions