Default Branch

b8313da5a8 · Add language support for Quint (#11898) · Updated 2024-11-21 03:56:24 +04:00

Branches

7a51085e8a · Port to termwiz: compiles but no rendering yet · Updated 2022-03-16 10:17:16 +04:00

3542
1

a1228e0aa1 · Set terminal title to currently focused file · Updated 2021-10-24 11:52:38 +04:00

4475
2

bddf749fba · search: disable unicode support · Updated 2021-08-01 10:20:28 +04:00

4799
5
dependabot/cargo/rust-dependencies-b3826c8f01

Deleted by Ghost 2024-11-21 08:56:20 +04:00

dependabot/cargo/thiserror-2.0.3

Deleted by Ghost 2024-11-21 00:46:18 +04:00

dependabot/cargo/which-7.0.0

Deleted by Ghost 2024-11-21 00:46:18 +04:00

dependabot/cargo/unicode-general-category-1.0.0

Deleted by Ghost 2024-11-21 00:46:18 +04:00

clipboard-enum-refactor

Deleted by Ghost 2024-11-21 08:56:20 +04:00