aboutsummaryrefslogtreecommitdiff
path: root/test/dune
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-10 15:07:41 -0500
committerMarc Coquand <marc@mccd.space>2024-05-10 15:07:41 -0500
commit08171a2cbe64e3c05002f35de0b2b8ea9d009802 (patch)
treecab1cb199b2d2e4cad8fff51fa084ee7616731cf /test/dune
parent426f533b6803686340fd5d31d0835e1a68f9d977 (diff)
downloadapbox-08171a2cbe64e3c05002f35de0b2b8ea9d009802.tar.gz
apbox-08171a2cbe64e3c05002f35de0b2b8ea9d009802.tar.bz2
apbox-08171a2cbe64e3c05002f35de0b2b8ea9d009802.zip
remove gitignore stuff
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions