Skip to content

Add option to name reference command#808

Merged
sharkdp merged 1 commit intosharkdp:masterfrom
niklasdewally:rename-reference
Sep 3, 2025
Merged

Add option to name reference command#808
sharkdp merged 1 commit intosharkdp:masterfrom
niklasdewally:rename-reference

Commits

Commits on Mar 15, 2025