diff options
| author | Michael Soegtrop | 2019-07-17 20:58:11 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2019-07-17 20:58:11 +0200 |
| commit | b349791f7d683f25a79081082218d78fa01b408f (patch) | |
| tree | 03e072fb3f4e3128169660355c9c918429e74e9a /vernac/comProgramFixpoint.ml | |
| parent | a029e231f7f2e22b36f662e6e488815ef273b107 (diff) | |
Fixed Windows patch for Quickchick
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions