summaryrefslogtreecommitdiffstats
path: root/site/posts/meta.org
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-05 21:49:15 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-05 21:49:15 +0100
commita1719f549b4bb736b1baab498e7722e7b6ad3d27 (patch)
tree53185312ff9828caa526a601fb00a3d4762b86e1 /site/posts/meta.org
parenta69a2cc1ffe4a0642a78468fe47b67e1c4fb2374 (diff)
Fix link to locally defined terms in coqdoc output
Diffstat (limited to 'site/posts/meta.org')
0 files changed, 0 insertions, 0 deletions