diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-02 18:22:30 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-11-07 22:16:29 +0000 |
| commit | 6c2bba097639922244201e6140f71ccd14e335c3 (patch) | |
| tree | d396746d8fc15796b89e6f0a16357df264ff0de5 /tools | |
| parent | 7e75b491d389c15d48a5cfc455ba9442d7c108ed (diff) | |
| download | klee-6c2bba097639922244201e6140f71ccd14e335c3.tar.gz | |
Add the Dockerfile to `.dockerignore` so that changes the Dockerfile
don't trigger unnecessary rebuilds. Also make the Dockerfile ignore Vim source files anywhere in the tree.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions