diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-18 13:19:26 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-18 13:19:26 -0500 |
| commit | f805a04bd0600653f71e5e4e006104892cf7b6b9 (patch) | |
| tree | b23c323682fafb9825e7bff5f753a4941ffc5e1b /lib/basic.ml | |
| parent | fbbbdca67c79145d43d6fdd59202a36fddfc8cd0 (diff) | |
| download | stitch-f805a04bd0600653f71e5e4e006104892cf7b6b9.tar.gz stitch-f805a04bd0600653f71e5e4e006104892cf7b6b9.tar.bz2 stitch-f805a04bd0600653f71e5e4e006104892cf7b6b9.zip | |
Add run command to done; fix content bug
Diffstat (limited to 'lib/basic.ml')
0 files changed, 0 insertions, 0 deletions