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 /ogit.opam | |
| parent | 68a01545bf9de1d614490a2bdb0cca8f3b1ff7f5 (diff) | |
Update config.
Diffstat (limited to 'ogit.opam')
0 files changed, 0 insertions, 0 deletions