diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2025-01-21 23:30:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-21 23:30:20 +0100 |
| commit | 79f128183f20afd1b77b4c500bca1bf61a83835e (patch) | |
| tree | d2a034d8af5528afd8f8b02083d4b4076f9d6e61 /compiler/rustc_trait_selection/src | |
| parent | 317769f152dfae2cb22c4a6da224aa4adf302d89 (diff) | |
| parent | 9d88b82b99cdd43c79e5fb5d031e522347863db2 (diff) | |
| download | rust-79f128183f20afd1b77b4c500bca1bf61a83835e.tar.gz rust-79f128183f20afd1b77b4c500bca1bf61a83835e.zip | |
Rollup merge of #135793 - jyn514:gitignore, r=jieyouxu
Ignore `mermaid.min.js` It is very long and tends to match a lot of search queries. It's not useful to show with ripgrep. Note that this does not actually untrack the file; changes can still be committed (although I suspect it may not have been intentional to commit originally?). This just changes how it interacts with tools that use `.gitignore` as a default filter. r? rustc-dev-guide
Diffstat (limited to 'compiler/rustc_trait_selection/src')
0 files changed, 0 insertions, 0 deletions