diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-30 11:42:30 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-04-06 11:11:39 +0100 |
| commit | 2d6bf37812556609872dc63adcf2291fe58aba17 (patch) | |
| tree | 1c2dbaad1a0ef411a7f778659d184f51602223bb /autoconf/AutoRegen.sh | |
| parent | dd81784b0de223af32f712b1c2c28d667049be33 (diff) | |
| download | klee-2d6bf37812556609872dc63adcf2291fe58aba17.tar.gz | |
[NFC] Reindent `test/lit.cfg` and add vim mode line to use right
indentation and syntax highlighting.
Diffstat (limited to 'autoconf/AutoRegen.sh')
0 files changed, 0 insertions, 0 deletions