diff options
| author | affeldt-aist | 2020-11-20 17:55:19 +0900 |
|---|---|---|
| committer | GitHub | 2020-11-20 17:55:19 +0900 |
| commit | b4cdd47bcd7f2b2f9033ee00b7412570b07b8808 (patch) | |
| tree | 63eaf93913a44ffc2d21c705640af01cdd3bbd17 /mathcomp/_CoqProject | |
| parent | 3bb1ccc63170e3e71ef9d5b62758b6fdb1c4371c (diff) | |
| parent | 7c47bab45686e90ee50e6c7eaae3230cb7ce9e53 (diff) | |
Merge pull request #663 from CohenCyril/clean_head
Using Arguments / to deal with volatile definitions
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions