diff options
| author | Emilio Jesus Gallego Arias | 2019-06-07 18:45:45 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-06-07 18:45:45 +0200 |
| commit | 0d97f184408ffd50d11608f0e73ac3edaf1193ca (patch) | |
| tree | 661da54d81baeabe90fd87e7bad71a91178f8912 /engine | |
| parent | 398c8ca2195be511e20480991f4b0a49060204e8 (diff) | |
| parent | f2753cbb1f2aee24dfd7f231d5285e2c6ce12abd (diff) | |
Merge PR #10236: Update coqdev-setup-proofgeneral for dune
Ack-by: SkySkimmer
Ack-by: ejgallego
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions