diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-05-26 11:37:26 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-05-26 11:37:26 +0200 |
| commit | b05013516d858af43f3429683e52adfc4447e896 (patch) | |
| tree | cec3f87efb4f8546b81923040fe4964614ee2917 /lib/git_presenters.ml | |
| parent | 68a01545bf9de1d614490a2bdb0cca8f3b1ff7f5 (diff) | |
Update config.
Diffstat (limited to 'lib/git_presenters.ml')
| -rw-r--r-- | lib/git_presenters.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/git_presenters.ml b/lib/git_presenters.ml index 680a16c..a3dbc96 100644 --- a/lib/git_presenters.ml +++ b/lib/git_presenters.ml @@ -1,7 +1,9 @@ +(* -*- mode: tuareg; -*- *) + module Store = Git_unix.Store open Config -let full_path path = Filename.concat config.repositories_root path +let full_path path = Filename.concat config.repositories_root_path path let store repo = let path = Fpath.v @@ full_path repo in |