chore: machine-local state has a home here too

Guidance rule 15 puts every machine-local artefact under a gitignored local/, and this repo could only have committed one. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-16 03:56:08 +02:00
parent cbb3c58300
commit 6ff407e7bb
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,7 @@ Debug

 # CMake / clangd
 /build/
+/local/
 compile_commands.json
 .cache/