diff options
| author | Brian Campbell | 2019-03-06 16:07:46 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-07 11:59:26 +0000 |
| commit | ec1b88c90bea062f0658fc1efad8aa00005e4c0a (patch) | |
| tree | 01b290f6c16d0a07aba1d8dbf4b83248c43ea15d /.gitignore | |
| parent | 2bb075e41d9b751bfb649f1385018529b112dee4 (diff) | |
Git-ignore z3 caches
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -12,6 +12,8 @@ a.out _build/ _sbuild/ +z3_problems + # HOL4 .HOLMK |