diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-18 10:59:06 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-18 10:59:06 -0500 |
| commit | b2c2fda8005b3e20669e7f87f5ee7d1372de4c7b (patch) | |
| tree | 04e29bd24d55ae4fdaa1aa92dcd6e44cf8323878 /lib/export.ml | |
| parent | d72a2fe44012000c0a9398fa290642ccb834a77e (diff) | |
| download | stitch-b2c2fda8005b3e20669e7f87f5ee7d1372de4c7b.tar.gz stitch-b2c2fda8005b3e20669e7f87f5ee7d1372de4c7b.tar.bz2 stitch-b2c2fda8005b3e20669e7f87f5ee7d1372de4c7b.zip | |
Remove useless cgitrc file
Diffstat (limited to 'lib/export.ml')
0 files changed, 0 insertions, 0 deletions