diff options
author | Marius Peter <marius.peter@tutanota.com> | 2025-03-16 19:12:26 +0100 |
---|---|---|
committer | Marius Peter <marius.peter@tutanota.com> | 2025-03-16 19:12:26 +0100 |
commit | 4d38a55e52bbb88cacb8c5f5a996c7cdbfcc75bb (patch) | |
tree | ed7d34d53e4a820c3a2cc7ce8c525ea9023d4225 /lib/config.ml | |
parent | 1d1b8113e117be008573a82c5596ac1e25799307 (diff) |
Moderate amount of progress today 💯
Diffstat (limited to 'lib/config.ml')
-rw-r--r-- | lib/config.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/config.ml b/lib/config.ml index d47101f..61810fa 100644 --- a/lib/config.ml +++ b/lib/config.ml @@ -1,2 +1,2 @@ -let git_directory = Filename.concat (Unix.getenv "HOME") "git" +let git_directory = Filename.concat (Unix.getenv "HOME") "git.test" let author = "Marius Peter" |