aboutsummaryrefslogtreecommitdiff
path: root/test/test_stitch.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-15 14:18:05 -0500
committerMarc Coquand <marc@mccd.space>2024-05-15 14:18:05 -0500
commit613b17e9f30b4def18e014993576a4324d9b11a4 (patch)
treeeada6c85627f617dc226137d0f1a024360ca2baa /test/test_stitch.ml
parente1bdc8f64a16b233a2633b05c2b073169a4c42c4 (diff)
downloadstitch-613b17e9f30b4def18e014993576a4324d9b11a4.tar.gz
stitch-613b17e9f30b4def18e014993576a4324d9b11a4.tar.bz2
stitch-613b17e9f30b4def18e014993576a4324d9b11a4.zip
Add regexp search for done and todo
Diffstat (limited to 'test/test_stitch.ml')
0 files changed, 0 insertions, 0 deletions