summaryrefslogtreecommitdiff
path: root/bin/dune
blob: 864d14557707058345fd592d35bdf816b568f05e (plain) 
1
2
3
4

(executable
 (public_name ogit)
 (name main)
 (libraries ogit dream))
Copyright 2019--2025 Marius PETER