diff options
author | 2014-04-08 01:43:06 -0400 | |
---|---|---|
committer | 2014-05-02 10:26:54 +0200 | |
commit | ec9ee383575ed356438644d38c1cc8e05325537f (patch) | |
tree | 7ec0e15d10dabfa98c473f26eaf06d9965cc4c76 /theories/Bool | |
parent | 004044b5a377dc36938dc83125cbffb4eae7838c (diff) |
Update test-suite Makefile to handle coq-prog-args
Diffstat (limited to 'theories/Bool')
0 files changed, 0 insertions, 0 deletions