diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2018-05-11 13:12:37 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-12 10:08:20 +0100 |
| commit | dc610f616940823e9cd8511cd10ca05721b53caf (patch) | |
| tree | 154cd115ab4f7803b76d6e1293b3ed58920f5291 /.travis | |
| parent | 495b3e52eee463c7eea618ca55d5ff12c288e87e (diff) | |
| download | klee-dc610f616940823e9cd8511cd10ca05721b53caf.tar.gz | |
Update clang-format standard for KLEE codebase to C++11
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions