diff options
| author | Enrico Tassi | 2020-12-04 11:27:15 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-04 11:27:50 +0100 |
| commit | 4c4715bf3224f6750e8d63005ff0c554015db45e (patch) | |
| tree | 2d0259b7085fe4f452647cf0532a5e88a30f3762 /lib | |
| parent | f720f0dddaf28505fde192e5912ffa63817d3122 (diff) | |
[coq_makefile] use Envars for COQMF_WINDRIVE
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions