Skip to content

Fix default exclusion of gitignore directory#10

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

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

Commits

Commits on Oct 16, 2025