diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-18 10:03:40 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-18 10:03:40 -0500 |
| commit | d72a2fe44012000c0a9398fa290642ccb834a77e (patch) | |
| tree | 7595285dcc16e530cd7311aaa2d4079e7fbcf00f /lib/basic.ml | |
| parent | 2344fd375cf8b3cf0efba8177d3794523fae9a80 (diff) | |
| download | stitch-d72a2fe44012000c0a9398fa290642ccb834a77e.tar.gz stitch-d72a2fe44012000c0a9398fa290642ccb834a77e.tar.bz2 stitch-d72a2fe44012000c0a9398fa290642ccb834a77e.zip | |
Fix infov0.0.2
Diffstat (limited to 'lib/basic.ml')
0 files changed, 0 insertions, 0 deletions