about summary refs log tree commit diff homepage
path: root/.clang-format
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2015-04-25 23:07:22 +0100
committerDan Liew <daniel.liew@imperial.ac.uk>2015-04-25 23:07:22 +0100
commite677492eb2b0fd941ead0056ace903b895b5f3e9 (patch)
tree9f20e7289308c37ca1a40faac239da2abdc7d2bc /.clang-format
parent9969c9359cf40be88b7587fc61e472d0f93acf00 (diff)
downloadklee-e677492eb2b0fd941ead0056ace903b895b5f3e9.tar.gz
During install, install the klee intrinsic header file which is
intended for public use.
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions