diff options
| author | Columbus240 | 2020-08-24 19:22:41 +0200 |
|---|---|---|
| committer | Columbus240 | 2020-09-12 23:00:19 +0200 |
| commit | 8f5b97b4315440e75658ce2165761bf086ad3e11 (patch) | |
| tree | ca05c720a626f4714ee117e2ddc32493de7f81ed /src/parser_combinators.ml | |
| parent | 1a9187c48d331c724b66fff2d0ac77a354a9f4e7 (diff) | |
gitignore test artifacts of c and coq tests
The "c" tests produce some *.h files that didn’t get ignored. The "coq"
tests also produce some files that weren’t ignored.
Diffstat (limited to 'src/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions