Skip to content

Add --ignore-file-name option (#1713)#1726

Open
Witheringstorm wants to merge 2 commits intosharkdp:masterfrom
Witheringstorm:ignore-file-name-flag
Open

Add --ignore-file-name option (#1713)#1726
Witheringstorm wants to merge 2 commits intosharkdp:masterfrom
Witheringstorm:ignore-file-name-flag

Commits

Commits on May 20, 2025