diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-05-18 17:06:43 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-05-18 17:06:43 +0200 |
| commit | 4ffdeec8803a63703cbc72437b51126db5f3c5bf (patch) | |
| tree | 586cb82e8bec5a3571c560341c93bbaa7a5d2c2f /.gitignore | |
| parent | 6658535cf610d6c1d99dae20e98ced14a920dbb2 (diff) | |
Consistently use Lwt_result.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions