| commit | e12a194dee3d91ba4188c97946ffc5a05d39ca38 | [log] [tgz] |
|---|---|---|
| author | Henner Zeller <h.zeller@acm.org> | Sun Mar 30 11:53:01 2025 -0700 |
| committer | GitHub <noreply@github.com> | Sun Mar 30 11:53:01 2025 -0700 |
| tree | 6b7e2350c59ec98063d4db80030f470c62290575 | |
| parent | 7a8cf40d8e55f52d9e559c5d633a05d804961e4f [diff] | |
| parent | f6824d78b8e0db61f59340c543f4b9c3b7e02aa5 [diff] |
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