chore: sync dev up to main (gitignore wiki/docs) #48

Merged
jmiller merged 2 commits from chore/sync-dev-gitignore into dev 2026-07-04 20:07:44 +00:00
+6
View File
@@ -204,3 +204,9 @@ hypothesis/
profile.ps1
.mcp.json
# ============================================================
# Local wiki clone (not version controlled)
# ============================================================
wiki/
docs/