aboutsummaryrefslogtreecommitdiff
path: root/lib/arbitrary_command.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-19 09:54:57 -0500
committerMarc Coquand <marc@mccd.space>2024-05-19 09:54:57 -0500
commitbb037e05b3b4accb2c03fe50a9cac4558213f5af (patch)
treed55a4b075516e77dd5460d73fc63c89c323d3803 /lib/arbitrary_command.ml
parentb5ccd7fc380558af02f85e28737b93f213f3d417 (diff)
downloadstitch-bb037e05b3b4accb2c03fe50a9cac4558213f5af.tar.gz
stitch-bb037e05b3b4accb2c03fe50a9cac4558213f5af.tar.bz2
stitch-bb037e05b3b4accb2c03fe50a9cac4558213f5af.zip
Update docs
Diffstat (limited to 'lib/arbitrary_command.ml')
0 files changed, 0 insertions, 0 deletions