This repository has been archived on 2026-10-08. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Miguel Palhas db28827647 merge: clear the worktree on a settled natural exit (#172)
Also brings origin/main's web fixes onto the integration branch, which the
issue branch had already merged.

Closes #172
2026-09-04 08:51:42 +01:00
S
Description
No description provided
13 MiB
Languages
Rust 62.2%
TypeScript 22.6%
Kotlin 9.7%
CSS 4.4%
Nix 0.5%
Other 0.5%