diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-06-15 15:45:11 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-06-15 15:45:11 +0200 |
| commit | 59ab4142a3887c0b34719bb0e56b820ee71d0ca7 (patch) | |
| tree | 2e1759c689ad8aeb75b01e036e7cf96dd6b51822 /.ocamlformat | |
| parent | e5a5c9b7718a79e498135eea71add0d6b71a8779 (diff) | |
Factor out main ogit module from ogit bin.
Diffstat (limited to '.ocamlformat')
0 files changed, 0 insertions, 0 deletions