diff options
author | Jason Gross <jgross@mit.edu> | 2018-08-23 20:48:03 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2018-08-23 20:48:03 -0400 |
commit | a24640e12177576b4c7fcc299f19df09e6b36d81 (patch) | |
tree | a65d9ce9027cab349a59c3aad667bbc7a45f7dc4 /src/Util/Tactics | |
parent | 23fe5603fbb66fcc3f505494c4b00df506a0ae74 (diff) |
Add some makefile targets for Coq's CI
This should allow faster, more parallel runs of Coq's CI
Diffstat (limited to 'src/Util/Tactics')
0 files changed, 0 insertions, 0 deletions