summaryrefslogtreecommitdiff
path: root/lib/dune
blob: 3963ffd4f48f7390da9ab22be6c85cbd928902a8 (plain) 
1
2
3
4
5

(library
 (name ogit)
 (libraries dream dream-html git git-unix)
 (preprocess
  (pps lwt_ppx)))
Copyright 2019--2025 Marius PETER