diff options
| author | Michael D. Adams | 2019-10-27 11:56:54 -0400 |
|---|---|---|
| committer | GitHub | 2019-10-27 11:56:54 -0400 |
| commit | fd2d25ecc856e28cf3459aaaeef1652da83c461f (patch) | |
| tree | 6a77196bfba8377a61d5d83c78447e6f644e8163 /dev/include_dune | |
| parent | f508ddcd2cfff152b8d6291d96e4b87ef9fe2ff9 (diff) | |
Fix link to `coq-notes.md`
Diffstat (limited to 'dev/include_dune')
0 files changed, 0 insertions, 0 deletions