diff options
| author | Hugo Herbelin | 2020-05-11 22:12:47 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-05-11 22:12:47 +0200 |
| commit | d640d9debf449dad1f7b1d2eda44a024b78378d1 (patch) | |
| tree | d20bfee66513b12170541d185caabceb27fce28b /dev | |
| parent | 76f7adccc72e6e85bfc2aaec7c5f348e5966b024 (diff) | |
| parent | 28a698dadd719872a0324a2650172afb12700c01 (diff) | |
Merge PR #10609: Register (for Coqlib.ref_lib) several base datatypes of stdlib
Reviewed-by: JasonGross
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions