Skip to content

Add root .gitignore for caches and virtualenvs#44

Merged
negillett merged 1 commit into
IntentProof:mainfrom
negillett:chore-add-root-gitignore
May 14, 2026
Merged

Add root .gitignore for caches and virtualenvs#44
negillett merged 1 commit into
IntentProof:mainfrom
negillett:chore-add-root-gitignore

Commits

Commits on May 14, 2026