diff options
| author | Enrico Tassi | 2020-12-04 11:26:43 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-04 11:27:50 +0100 |
| commit | f720f0dddaf28505fde192e5912ffa63817d3122 (patch) | |
| tree | 661d8c427d2daa5a5a4b10a174ca9b373c980028 /dev | |
| parent | db13ff6866731001ad7d3021ab7cb4b3a54cba5c (diff) | |
[coq_makefile] honor environment for OCAMLFIND
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions