diff options
| author | Jim Fehrle | 2019-02-26 21:53:25 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2019-03-01 10:24:22 -0800 |
| commit | 7b3779b27be9221def05a341d79ddd45540b4280 (patch) | |
| tree | eb62ace17e46101aa22597d2bad3e5e56cab7653 /kernel/type_errors.ml | |
| parent | ae998e3049cd581d21c4fe0e8e18466ed9131546 (diff) | |
Set COQLIB so the test suite will run locally on Windows.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions