aboutsummaryrefslogtreecommitdiff
path: root/editor/footnotes.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-05-24 22:56:16 +0200
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:22:43 +0100
commit90f1f73f08b2d9231b2ee029b9e39dd570e36f36 (patch)
tree49c7828d2a549a3278ba5c54ca9b1f500c860951 /editor/footnotes.ml
parent05008c81a9652472a454f47940a6d8aa9a228538 (diff)
Update
Diffstat (limited to 'editor/footnotes.ml')
0 files changed, 0 insertions, 0 deletions