aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-18 10:59:06 -0500
committerMarc Coquand <marc@mccd.space>2024-05-18 10:59:06 -0500
commitb2c2fda8005b3e20669e7f87f5ee7d1372de4c7b (patch)
tree04e29bd24d55ae4fdaa1aa92dcd6e44cf8323878 /bin/dune
parentd72a2fe44012000c0a9398fa290642ccb834a77e (diff)
downloadstitch-b2c2fda8005b3e20669e7f87f5ee7d1372de4c7b.tar.gz
stitch-b2c2fda8005b3e20669e7f87f5ee7d1372de4c7b.tar.bz2
stitch-b2c2fda8005b3e20669e7f87f5ee7d1372de4c7b.zip
Remove useless cgitrc file
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions