diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-18 09:43:46 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-18 09:43:46 -0500 |
| commit | 50ca4e102ffb3219e9ad22b717696dee9d0f4bd6 (patch) | |
| tree | 4a095a32473f4e072d6eba13000586f6f78d189e /lib/done.ml | |
| parent | 90f8c5e65c96f946ab079271b52112ec36d6c42c (diff) | |
| download | stitch-50ca4e102ffb3219e9ad22b717696dee9d0f4bd6.tar.gz stitch-50ca4e102ffb3219e9ad22b717696dee9d0f4bd6.tar.bz2 stitch-50ca4e102ffb3219e9ad22b717696dee9d0f4bd6.zip | |
Update license
Diffstat (limited to 'lib/done.ml')
0 files changed, 0 insertions, 0 deletions