diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-03-31 01:18:02 +0200 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-03-31 01:18:02 +0200 |
commit | dc6a9c8d29e7d33949844adc0804f39e1fb22ba2 (patch) | |
tree | cf363ab2caaaeea258694ffadfe6b72aa3813344 /vernac/comFixpoint.ml | |
parent | 53ad0fca8fd511da2b457b9b2ec0b8c3c1780b3f (diff) | |
parent | b125a5f28b41c5a8f9fb3d5944f7b9a1bad0ba24 (diff) |
Merge PR #7121: Remove outdated patch from ci-sf
Diffstat (limited to 'vernac/comFixpoint.ml')
0 files changed, 0 insertions, 0 deletions