diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-05-17 19:20:28 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-05-17 19:20:28 +0200 |
| commit | 59b321967f83385296c9ce92fb29ee7f6c8b75db (patch) | |
| tree | 1d29f39dd51c501f7450b23a6aa5a852d6b03261 /lib/git_helpers.ml | |
| parent | 2f57633bdf9f6d36a554cc4c9105e7c26f548f67 (diff) | |
Added custom let* for handlers.
The error page is now displayed for any intermediate error.
Diffstat (limited to 'lib/git_helpers.ml')
0 files changed, 0 insertions, 0 deletions