diff options
Diffstat (limited to 'tools/lint_project.py')
| -rw-r--r-- | tools/lint_project.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lint_project.py b/tools/lint_project.py index e02215b..04d525f 100644 --- a/tools/lint_project.py +++ b/tools/lint_project.py @@ -42,7 +42,7 @@ AUTHOR = "cirakg & claude ai" HEADER_LINES = 15 DIAG_FILE = Path("source/util/Diag.mc") # Folders that hold local tool state or generated output, never project files. -SKIP_DIRS = {".git", ".cache", "build", "node_modules", "__pycache__", ".pytest_cache", ".mypy_cache", ".ruff_cache"} +SKIP_DIRS = {".git", ".cache", ".claude", "build", "node_modules", "__pycache__", ".pytest_cache", ".mypy_cache", ".ruff_cache"} # Written by a tool that would drop a hand-added header on the next run. GENERATED = {Path("docker/docs/package-lock.json")} |