aboutsummaryrefslogtreecommitdiffstats
path: root/dune-project (follow)
Commit message (Expand)AuthorAgeFilesLines
* move project files to frontGravatar Peter McGoron 2022-04-281-0/+18
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-12-07 16:06:46 +0000