summaryrefslogtreecommitdiff
path: root/dune-project
AgeCommit message (Expand)Author
2 daysAdd file local variable to dune-project.Marius Peter
2025-01-25Update dune-project stanzas.Marius Peter
2025-01-19Initial commit for ogit.Marius Peter
Copyright 2019--2025 Marius PETER