Skip to content

Add a global --ignore/-i option for file/directory exclusion#87

Merged
jviotti merged 1 commit intomainfrom ignore-optionJun 13, 2024

Commits

Commits on Jun 13, 2024