diff options
| author | Maxime Dénès | 2019-01-21 10:14:20 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-21 10:14:20 +0100 |
| commit | d4f1225d059eb858a6d8430d2f86057ce7bb0c5c (patch) | |
| tree | f73dabccef1489a1bf51495d168c36e2d80d9b87 /kernel/type_errors.ml | |
| parent | 051b6efe1d730afe1a08eecac71282e24c4d4523 (diff) | |
| parent | 3a83748d6f80fd4cc104c44695d0a9bd432934d1 (diff) | |
Merge PR #9340: Add badges linking to a selection of up-to-date Coq packages.
Reviewed-by: maximedenes
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions