diff options
| author | Enrico Tassi | 2018-03-23 10:47:25 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-03-23 10:47:25 +0100 |
| commit | 22e4ffa774e399166f3c659a5940deaf4a24f646 (patch) | |
| tree | 5df0311ed60493d406f83d3260df6e34b47ad6f5 /dev | |
| parent | 7e98fdd498c18f2369f43919e87703b196acc1aa (diff) | |
| parent | 3a929e942100ece9380d16873655518ab53be83b (diff) | |
Merge PR #7025: Coq makefile: provide variables to extend the flags passed to coq, coqchk, coqdoc
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions