diff options
| author | Pierre-Marie Pédrot | 2019-03-20 15:04:02 +0100 |
|---|---|---|
| committer | GitHub | 2019-03-20 15:04:02 +0100 |
| commit | 6e6844e89bdf57f00bc1e4d3de110ca45d0b51bf (patch) | |
| tree | 20b7fa0a9f4f5f4c4ef8732c98b1c2349a9a2612 /dev | |
| parent | 23b34aaaa4b990dbb9e924fbd32feda40c41edf8 (diff) | |
| parent | c5a6a100844803b2da370e4828655a9da377e624 (diff) | |
Merge pull request coq/ltac2#113 from maximedenes/printed-by-env
Adapt to changes in Coq's printers API
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions