diff options
| author |  Jason Gross <jgross@mit.edu> | 2014-04-08 01:43:06 -0400 |
|---|---|---|
| committer |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-05-02 10:26:54 +0200 |
| commit | ec9ee383575ed356438644d38c1cc8e05325537f (patch) | |
| tree | 7ec0e15d10dabfa98c473f26eaf06d9965cc4c76 /man | |
| parent | 004044b5a377dc36938dc83125cbffb4eae7838c (diff) | |
Update test-suite Makefile to handle coq-prog-args
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions