aboutsummaryrefslogtreecommitdiffstats
path: root/dune-project (follow)
Commit message (Expand)AuthorAgeFilesLines
* dune build with foreign stubsMarcos Magueta2024-10-161-0/+2
* bootstrap project with flake and duneMarcos Magueta2024-10-161-0/+26