diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-14 12:10:14 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | d5845873276f142f785cab0d3489209b3a4980ab (patch) | |
| tree | 62bcbb442abac3ba34016011ba9d2e842d58d27d /.dockerignore | |
| parent | 3983b23eac93b0e6f28ffba4b626401c5280c10f (diff) | |
| download | klee-d5845873276f142f785cab0d3489209b3a4980ab.tar.gz | |
Replace travis container build script with python-based version
Diffstat (limited to '.dockerignore')
0 files changed, 0 insertions, 0 deletions