Skip to content

Unique tab names#113

Merged
jorio merged 1 commit into
jorio:masterfrom
stdout-se:wip/unique-tab-names
Jul 1, 2026
Merged

Unique tab names#113
jorio merged 1 commit into
jorio:masterfrom
stdout-se:wip/unique-tab-names

Feature: Unique tab names

64d3b52
Select commit
Loading
Failed to load commit list.
Sign in for the full log view