diff options
| author | Reynald Affeldt | 2021-01-19 01:36:20 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2021-01-19 01:36:20 +0900 |
| commit | e1d5e9c2585bad2e9c27a476276761cc71ff9c91 (patch) | |
| tree | d9c96475a5e055a665e006a8ce2f147d34aea271 /mathcomp/_CoqProject | |
| parent | 35fc6b309a5cc87570255addfd135cb4650ebb43 (diff) | |
fixes #694
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions