diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2018-01-04 11:00:16 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-01-08 11:09:12 +0000 |
| commit | 37f554d5cf587ec9f6befa359a0e3aa60e9ce73f (patch) | |
| tree | ae62b73d41a17489c3a3381ef2913bd8206bfabc /.gitattributes | |
| parent | 89c642abd24e47e5c3885ed704bed9aa8502c632 (diff) | |
| download | klee-37f554d5cf587ec9f6befa359a0e3aa60e9ce73f.tar.gz | |
[NFC] Remove unused config header template that was only used by
the old build system (now removed).
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions