diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2022-04-05 10:20:14 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-05-06 12:14:20 -0700 |
| commit | 862e0871bcc50eff526f20582f1855bf5788b471 (patch) | |
| tree | 7190830b60fbdf3220a4860ea7c83ce135b4294c /.gitignore | |
| parent | 5138eba863665fea1548eb769f6e3910c69ec604 (diff) | |
| download | klee-862e0871bcc50eff526f20582f1855bf5788b471.tar.gz | |
Switch to newer KLEE uClibc release
Instead of using a branch that doesn't allow build artifact caching, use the newer released version instead.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions