diff options
| author | Mark <mark@qtrac.eu> | 2020-01-22 12:16:26 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-22 12:16:26 +0000 |
| commit | 75320beb234e3321e76b04010b292e343cf26f6d (patch) | |
| tree | 34d99ed6e3a0741b036a18e1940723a284f7b01f /coq.html.markdown | |
| parent | 1eecfded69cf0e92b7483ded18d4b2b830f37b47 (diff) | |
Added missing import std.stdio...
to make an example compilable.
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions