Skip to content

Fix default exclusion of gitignore directory#10

Merged
pmai merged 1 commit into
mainfrom
fix/fix-includes-gitignore
Oct 18, 2025
Merged

Fix default exclusion of gitignore directory#10
pmai merged 1 commit into
mainfrom
fix/fix-includes-gitignore