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

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