Repository navigation
Add t1_name/t2_name to rename t1/t2 labels in tree view repr - #618
Open
ChrisJr404 wants to merge 1 commit into
Open
ChrisJr404 wants to merge 1 commit into
ChrisJr404 wants to merge 1 commit into
Commits
Commits on Aug 18, 2026