diff options
| author | Emilio Jesus Gallego Arias | 2019-03-16 19:41:10 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-16 19:41:10 +0100 |
| commit | 3b57b6c205f0ed1fac51fedf72cc8cf451bf2de7 (patch) | |
| tree | cdfc5deba3ad86fc5510a861bfa82af9e86ef007 /kernel/reduction.ml | |
| parent | 2f4a2a7adfbf4831ee03310e9f918c7d49c8d991 (diff) | |
| parent | c86962592b31082786acd5f6c047b25e8a9df684 (diff) | |
Merge PR #9784: Add test-suite to Paramcoq CI
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/reduction.ml')
0 files changed, 0 insertions, 0 deletions