diff --git a/.gitignore b/.gitignore index 40930943..98e31537 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,7 @@ tags +AGENTS.md +docs-src/pages/AGENTS.md +plans/ # Ignore executables (no extension) but not source files example/server