Skip to content

Don't use idents as ignore dirs or asset dirs#1

Merged
paolobarbolini merged 2 commits intomainfrom
handle-idents-as-ignore-dirs
Apr 3, 2025
Merged

Don't use idents as ignore dirs or asset dirs#1
paolobarbolini merged 2 commits intomainfrom
handle-idents-as-ignore-dirs

Commits