diff options
| author | Maxime Dénès | 2017-07-05 09:41:02 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-07-05 09:41:02 +0200 |
| commit | 734d152ae1faf5feb427b978badc6ed0c95f4d5f (patch) | |
| tree | acea9659580478f6c3768a73c3f311418fc4a686 /kernel | |
| parent | fb025512f4168c0a0f316458163822e831b51f43 (diff) | |
| parent | b55d44168ee39b0d9da8364238e716526ffcf920 (diff) | |
Merge PR #840: Quote $(OCAMLFIND) in CoqMakefile.in for Windows
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions