diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-06-27 18:28:39 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-06-27 18:28:39 +0200 |
| commit | 6c905b7f14f56ec41626dc5171c9cbcdcfae6f1b (patch) | |
| tree | d684f19a368ea07290327fdfbd371fc8ebc48b69 /lib/views.ml | |
| parent | ca5c67a40dedf8478b6c4c59f6e21828c4578428 (diff) | |
Remove usage of Lwt_result.map.
Diffstat (limited to 'lib/views.ml')
0 files changed, 0 insertions, 0 deletions