diff options
| author | Enrico Tassi | 2018-10-10 12:59:11 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-10-10 12:59:11 +0200 |
| commit | b4fd032e0a05533bab701125c4abcbf392c799c7 (patch) | |
| tree | d8e7b8b786e60066c1c5279f401bbc780edd7d65 /plugins/rtauto | |
| parent | 6b7d0df8c077f40c53cc69a7192bdcdb0b483343 (diff) | |
| parent | 41dcd52864a569d2a0305ce97ad335238a0bc17d (diff) | |
Merge PR #8602: [test-suite] Use ocamlfind to locate Coq libraries in unit tests.
Diffstat (limited to 'plugins/rtauto')
0 files changed, 0 insertions, 0 deletions