aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-20 10:40:36 -0500
committerMarc Coquand <marc@mccd.space>2024-05-20 10:40:36 -0500
commitdb2f190f77f06bff004cf6550ba766a51dda0e5f (patch)
tree9260eb658958c1eae826db40eea9752f9ce5f8eb /dune-project
parentaf84c15e6c4696c57567764d9035d1e48ab3754d (diff)
downloadstitch-db2f190f77f06bff004cf6550ba766a51dda0e5f.tar.gz
stitch-db2f190f77f06bff004cf6550ba766a51dda0e5f.tar.bz2
stitch-db2f190f77f06bff004cf6550ba766a51dda0e5f.zip
Remove org templatev0.0.7
It's no longer used and the README has diverged
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions