Skip to content

Allow default_ignore_list to be empty#540

Merged
bblommers merged 1 commit intospulec:masterfrom encukou:fix-empty-ignoreApr 22, 2024

Commits

Commits on Apr 9, 2024