diff options
| author | Théo Zimmermann | 2020-01-10 14:13:35 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-01-10 14:13:35 +0100 |
| commit | 68f6523fa4752aa8d449a0d7a1660f1963c1ea5c (patch) | |
| tree | fe454ecb3b18e96859ee0b10e5dd1e74ee7e31c0 /kernel/indTyping.ml | |
| parent | 620986fc66f9c383bc47188f1c3e9320d8437378 (diff) | |
| parent | 9d6a71f42351c90f0022978edc1168436a4a56ae (diff) | |
Merge PR #11385: Add badges for Docker Hub and coqorg/coq:latest version
Reviewed-by: Zimmi48
Diffstat (limited to 'kernel/indTyping.ml')
0 files changed, 0 insertions, 0 deletions