diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-10-26 20:38:32 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-10-26 20:38:32 +0800 |
| commit | 032b82c13e157a048ac13a540dfd18be9667fe49 (patch) | |
| tree | d8bec1f88fcd529a300bb71316c18ecaf0806b63 /proofsearch/tests | |
| parent | 2e6dc81391c5dbb787cfd793ad5823904b3b9c94 (diff) | |
| download | rcc-project-032b82c13e157a048ac13a540dfd18be9667fe49.tar.gz rcc-project-032b82c13e157a048ac13a540dfd18be9667fe49.tar.xz | |
feat(tui): add object focus traversal and link activation
Diffstat (limited to 'proofsearch/tests')
0 files changed, 0 insertions, 0 deletions