summaryrefslogtreecommitdiff
path: root/bin/dune
AgeCommit message (Collapse)Author
2025-06-15Factor out main ogit module from ogit bin.Marius Peter
2025-02-01Reorganized everything.Marius Peter
Thank you DeepSeek!
2025-01-25Update dune files for all libraries.Marius Peter
2025-01-19Initial commit for ogit.Marius Peter
Copyright 2019--2025 Marius PETER