Skip to content

Install the history(1) man page if history was built#108

Merged
rakitzis merged 1 commit intorakitzis:masterfrom jpco:masterAug 25, 2024

Commits

Commits on Aug 25, 2024