diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-29 14:14:27 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-29 14:14:27 -0500 |
| commit | 4671c60b811fb25e5544de0506a0783dffef63aa (patch) | |
| tree | 3035423459090a73440211c8198f7a855cf37407 /bin/.#main.ml | |
| parent | 89ebb846f058ccad4588746d3b5bd0aa48d6fcdc (diff) | |
| download | stitch-4671c60b811fb25e5544de0506a0783dffef63aa.tar.gz stitch-4671c60b811fb25e5544de0506a0783dffef63aa.tar.bz2 stitch-4671c60b811fb25e5544de0506a0783dffef63aa.zip | |
Bump version in docs as well
Diffstat (limited to 'bin/.#main.ml')
0 files changed, 0 insertions, 0 deletions