aboutsummaryrefslogtreecommitdiff
path: root/bin/dune (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-17Setup everything for static and non-static releasev0.0.1pushMarc Coquand1-2/+6
2024-05-17Fix binary releaseMarc Coquand1-3/+2
2024-05-17Revert "temp remove"Marc Coquand1-0/+12
2024-05-17temp removeMarc Coquand1-12/+0
2024-05-17stuffMarc Coquand1-0/+16