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 /lib/Core | |
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 'lib/Core')
0 files changed, 0 insertions, 0 deletions