diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-15 14:18:05 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-15 14:18:05 -0500 |
| commit | 613b17e9f30b4def18e014993576a4324d9b11a4 (patch) | |
| tree | eada6c85627f617dc226137d0f1a024360ca2baa /bin/main.ml | |
| parent | e1bdc8f64a16b233a2633b05c2b073169a4c42c4 (diff) | |
| download | stitch-613b17e9f30b4def18e014993576a4324d9b11a4.tar.gz stitch-613b17e9f30b4def18e014993576a4324d9b11a4.tar.bz2 stitch-613b17e9f30b4def18e014993576a4324d9b11a4.zip | |
Add regexp search for done and todo
Diffstat (limited to 'bin/main.ml')
0 files changed, 0 insertions, 0 deletions