diff options
| author | Enrico | 2017-04-03 15:17:33 +0200 |
|---|---|---|
| committer | GitHub | 2017-04-03 15:17:33 +0200 |
| commit | 286cf5c039eb9a318b9224a1eebddd3cea14ec58 (patch) | |
| tree | 2d651bbb009bb0b4d7764433d6fbcfa89f3b6494 /mathcomp/_CoqProject | |
| parent | caeeae8dcf76d494b20d7970b7e9e7022be96321 (diff) | |
| parent | 2cb863af37c56f01d3b96058ab83fc7f94a542a8 (diff) | |
Merge pull request #118 from maximedenes/coq-pr417-landing
Adapt the ssr plugin to Coq's PR#417.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions