aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-18 13:03:40 -0500
committerMarc Coquand <marc@mccd.space>2024-05-18 13:03:40 -0500
commit256397061fe5ae5649b4569c45bb53c8e45e0cbe (patch)
tree652e7b5833ea32d13b0ae1ea9cc32ba421fed827 /dune-project
parent12ba5ed258b3a1ff30c3ece030e8eeed0dc417e9 (diff)
downloadstitch-256397061fe5ae5649b4569c45bb53c8e45e0cbe.tar.gz
stitch-256397061fe5ae5649b4569c45bb53c8e45e0cbe.tar.bz2
stitch-256397061fe5ae5649b4569c45bb53c8e45e0cbe.zip
Add support for arbitrary command in the note view
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions