diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-18 11:18:52 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-18 11:18:52 -0500 |
| commit | 12ba5ed258b3a1ff30c3ece030e8eeed0dc417e9 (patch) | |
| tree | bd5ec1905891dd947e329c1205978f0cc1161ec0 /lib/export.ml | |
| parent | b2c2fda8005b3e20669e7f87f5ee7d1372de4c7b (diff) | |
| download | stitch-12ba5ed258b3a1ff30c3ece030e8eeed0dc417e9.tar.gz stitch-12ba5ed258b3a1ff30c3ece030e8eeed0dc417e9.tar.bz2 stitch-12ba5ed258b3a1ff30c3ece030e8eeed0dc417e9.zip | |
Prompt: Fix visual
Diffstat (limited to 'lib/export.ml')
0 files changed, 0 insertions, 0 deletions