summaryrefslogtreecommitdiff
path: root/bin/main.ml
blob: fdc8baf9b83e256ba41bbc0da7d705a1208fd49f (plain) 
1
2
3

(* -*- mode: tuareg; -*- *)

let () = Ogit.Main.run ()
Copyright 2019--2025 Marius PETER