diff options
| author | Brian Campbell | 2018-05-16 15:10:59 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-16 15:10:59 +0100 |
| commit | 03c088d374048365d36eefe17636660e9413973a (patch) | |
| tree | 72ac7f1bd7c2a4fb18a3a2e16e0576fd91d8cd35 /Makefile | |
| parent | c70ca047daf5c833fdc9b1a44efe21e07492aabf (diff) | |
Add global gitignore entries for HOL4
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions