diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-14 16:20:57 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-14 16:20:57 -0500 |
| commit | 0bc0958e789847d3065f4d084a96117d62d18691 (patch) | |
| tree | 7447ff4e8d22aaa69c94ffe44e0e6b9cbf3dfeec /bin/main.ml | |
| parent | 20aa8079b40ee794bc84ead7283622c78f49afb5 (diff) | |
| download | stitch-0bc0958e789847d3065f4d084a96117d62d18691.tar.gz stitch-0bc0958e789847d3065f4d084a96117d62d18691.tar.bz2 stitch-0bc0958e789847d3065f4d084a96117d62d18691.zip | |
Add nice headings
Diffstat (limited to 'bin/main.ml')
0 files changed, 0 insertions, 0 deletions