diff options
| author | Maxime Dénès | 2018-03-15 00:08:53 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-15 00:08:53 +0100 |
| commit | a85a3b380cee0bde2db87958af1bd01d638eda50 (patch) | |
| tree | 9270e1d4a6ccbd6f082361a2e1a0c6930d7e04b2 /dev/include | |
| parent | eb94a77306868504f14926457528ce1b1c4916e6 (diff) | |
| parent | 9ede60d083899a4446d0be8519cad3d1c244fb27 (diff) | |
Merge PR #6967: [META] Update Coq version number.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions