Repository navigation

chore: remove root docs folder and use a classic .gitignore - #38

Merged

YosefHayim merged 1 commit into

mainfrom

chore/drop-docs-classic-gitignore

Oct 4, 2026

Merged

chore: remove root docs folder and use a classic .gitignore#38
YosefHayim merged 1 commit into
mainfrom
chore/drop-docs-classic-gitignore

Commits on Oct 4, 2026
- chore: remove root docs folder and use a classic .gitignore
  YosefHayim
  committed
  d45db0f