diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-30 10:25:30 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-30 10:25:30 -0500 |
commit | b050718d2b9daa28477e929961270e7df8a4b214 (patch) | |
tree | 38d5793f03b94ff0af9bc204321c4ee8541646b2 /bin/.#main.ml | |
parent | c4e0cfc0db11e6e4c1cd3490ab6434cc56f44529 (diff) | |
download | stitch-b050718d2b9daa28477e929961270e7df8a4b214.tar.gz stitch-b050718d2b9daa28477e929961270e7df8a4b214.tar.bz2 stitch-b050718d2b9daa28477e929961270e7df8a4b214.zip |
Missing ) in man pages
Diffstat (limited to 'bin/.#main.ml')
0 files changed, 0 insertions, 0 deletions