summaryrefslogtreecommitdiff
path: root/lib/config.ml
blob: d47101fb4ddc8a4b278fd788e2918cb851f0c338 (plain)
1
2
let git_directory = Filename.concat (Unix.getenv "HOME") "git"
let author = "Marius Peter"
Copyright 2019--2025 Marius PETER