diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-05-27 23:32:19 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-05-27 23:32:19 +0200 |
| commit | 08844a043b5ba4d77176c58d30db5088c9751b96 (patch) | |
| tree | b422d588094fcfe4b2155ada9d7005956563ab0e /dune-project | |
| parent | e85fa4da3ace9a8f77adddf28609fa943273e641 (diff) | |
Refactor and provide better implementation for all_branches.
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions