summaryrefslogtreecommitdiffstats
path: root/site/posts/meta.org
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-18 22:01:19 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-18 22:01:19 +0100
commit15a9b745426dfdcab1138d65c1c2f715d37ab0cf (patch)
tree19f36f52dc2bef006b6dd347c00ff902b52bfdc2 /site/posts/meta.org
parent226d86be66a1b742ce6ace2ec1ca4762911c48f9 (diff)
Disable `custom-entry-overriden' warning of Coq
Diffstat (limited to 'site/posts/meta.org')
0 files changed, 0 insertions, 0 deletions