diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-03-02 19:23:19 +0100 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-03-02 19:23:19 +0100 |
| commit | 55993c4d0857aec8a372aee989aaeef61ea37b3c (patch) | |
| tree | a6da37b5fda45d80f84251633426dee51db87575 /ogit.opam | |
| parent | c67581470cbdf2a1c8efabce78afffb2e3a2a2c6 (diff) | |
Great work today! 🔥
Diffstat (limited to 'ogit.opam')
0 files changed, 0 insertions, 0 deletions