diff options
| author | Pierre-Marie Pédrot | 2018-11-25 15:14:15 +0100 |
|---|---|---|
| committer | GitHub | 2018-11-25 15:14:15 +0100 |
| commit | 550472c67198353120cdc02b42683024b5b39765 (patch) | |
| tree | cf1978d1778ef454d94bc8cf1c75f3954d3058e1 /dev/include | |
| parent | b8c4bf77c19670099b1fea44f3ab6204faa25d6b (diff) | |
| parent | 09b917593e90233d7a55610e9ce7886de77ef576 (diff) | |
Merge pull request coq/ltac2#88 from wilcoxjay/tests-detect-coqbin
Autodetect COQBIN in tests/Makefile
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions