diff options
| author | Cyril Cohen | 2017-10-19 20:50:24 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2017-10-19 20:51:21 +0200 |
| commit | 0d6e09de16de8a349dafe570ef9f87377630c6a3 (patch) | |
| tree | 218c7d2dfdca390293aebe22f83561d7ef3f4e4b /mathcomp/character | |
| parent | 6a2e6d2f6a1aeec7255a4a874dece7f3664bb469 (diff) | |
fix coq version
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions