diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-02-02 18:56:47 +0100 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-02-02 18:56:47 +0100 |
| commit | e92e763e06d58a03224189d53044c4f5e1f907f0 (patch) | |
| tree | aa0f3707d500fa883e6129d3f99da4b530e2011a /lib/config.ml | |
| parent | aacec6588c3aebffda6c6221b02622576c85c407 (diff) | |
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..c391c43 100644 --- a/lib/config.ml +++ b/lib/config.ml @@ -1,2 +1,2 @@ let git_directory = Filename.concat (Unix.getenv "HOME") "git" -let author = "Marius Peter" +let author = "Marius PETER" |