diff options
| author | Jason Gross | 2017-06-28 01:04:41 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-06-30 13:17:43 -0400 |
| commit | e7bc719df55907b00b04f9fa2d45dba2da838360 (patch) | |
| tree | c8e9e4dcaeeaaa791a4e4e340f0fe3e1e9402a59 /kernel | |
| parent | 35e0f327405fb659c7ec5f9f7d26ea284aa45810 (diff) | |
Quote $(OCAMLFIND) in CoqMakefile.in for Windows
This, I hope, will fix [bug #5620](https://coq.inria.fr/bugs/show_bug.cgi?id=5620)
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions