diff options
| author | Maxime Dénès | 2019-03-15 12:04:49 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-03-19 11:57:03 +0100 |
| commit | c5a6a100844803b2da370e4828655a9da377e624 (patch) | |
| tree | 20b7fa0a9f4f5f4c4ef8732c98b1c2349a9a2612 /doc/plugin_tutorial/tuto3/src/dune | |
| parent | 23b34aaaa4b990dbb9e924fbd32feda40c41edf8 (diff) | |
Adapt to changes in Coq's printers API
Diffstat (limited to 'doc/plugin_tutorial/tuto3/src/dune')
0 files changed, 0 insertions, 0 deletions