Ignore .git-scripts directory

eisop · Jun 26, 2024 · 4716f84 · 4716f84
1 parent df031b5
commit 4716f84
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -40,6 +40,7 @@ docs/tmpapi/
 checker/build-temp
 checker/bin/.do-like-javac
 checker/bin/.scc/
+checker/bin-devel/.git-scripts
 checker/bin-devel/.html-tools
 checker/bin-devel/.plume-scripts
 checker/bin-devel/dockerdir