Merge pull request 'chore: sync dev up to main (gitignore wiki/docs)' (#48) from chore/sync-dev-gitignore into dev

2026-07-04 20:07:43 +00:00
parent bbec43fb9b 44f03ddcd8
commit df44e61bd1
1 changed files with 6 additions and 0 deletions
@@ -204,3 +204,9 @@ hypothesis/

 profile.ps1
 .mcp.json
+
+# ============================================================
+# Local wiki clone (not version controlled)
+# ============================================================
+wiki/
+docs/