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