diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-01-25 19:12:03 +0100 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-01-25 19:12:03 +0100 |
| commit | dc2aec71a82ebe9c8432a9867579bba6f1d87990 (patch) | |
| tree | f936cee91926cfac9d21a39520c09ae215e6ece2 /.gitignore | |
| parent | 8ab5f20f532bc6e9de38ee457b0ef8dd30c80374 (diff) | |
Add ocamlformat dependency.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions