diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2018-04-12 13:32:37 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-04-12 14:45:43 +0100 |
| commit | d6dc86e6bcd26064136a96a385d9ba299d877aab (patch) | |
| tree | d46c8dea1266e89acf35ea24f630cd9357a30b2e /.gitattributes | |
| parent | a8bf1a78cd20d1c2608faeecc54369d95ceadde7 (diff) | |
| download | klee-d6dc86e6bcd26064136a96a385d9ba299d877aab.tar.gz | |
Fix python2 linking
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions