Merge pull request #2381 from hzeller/feature-20250330-update-gitignore Update .gitignore
diff --git a/.gitignore b/.gitignore index 5ce161a..a1cbb39 100644 --- a/.gitignore +++ b/.gitignore
@@ -6,9 +6,9 @@ coverage-html/ __pycache__/ -compile_commands.json +compile_flags.txt run-clang-tidy-cached -verible_clang-tidy.out +verible_clang-tidy.* # Local user config .envrc