diff options
| author | Cyril Cohen | 2017-10-26 14:32:52 +0200 |
|---|---|---|
| committer | GitHub | 2017-10-26 14:32:52 +0200 |
| commit | d5437703555329168288467dc1a94b1176e1776e (patch) | |
| tree | 3c1759c526d3588ec17ddc356b588a049de75bef /mathcomp/ssreflect/plugin | |
| parent | f418fee13c770b27f2bf4fbfdfa2a1179596355e (diff) | |
| parent | dd730ed0569d57944435b6bb599bffd8c382c126 (diff) | |
Merge pull request #149 from CohenCyril/no-compat-coq.8.4
Remove compatibility with Coq.8.4
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions