Skip to content

Sort search results when using -X option#524

Merged
sharkdp merged 1 commit intosharkdp:masterfrom marcoieni:masterJan 2, 2020

Commits

Commits on Jan 2, 2020