diff options
| author | jyn <github@jyn.dev> | 2025-01-20 16:08:08 -0500 |
|---|---|---|
| committer | jyn <github@jyn.dev> | 2025-01-20 16:08:08 -0500 |
| commit | 9d88b82b99cdd43c79e5fb5d031e522347863db2 (patch) | |
| tree | ef08700891c54b0e1778e0c2a1a3d78c15a9bccb /compiler/rustc_trait_selection/src | |
| parent | 9f4d9dc102fee5c1fe8adce2c4a58254cae510f4 (diff) | |
| download | rust-9d88b82b99cdd43c79e5fb5d031e522347863db2.tar.gz rust-9d88b82b99cdd43c79e5fb5d031e522347863db2.zip | |
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.
Diffstat (limited to 'compiler/rustc_trait_selection/src')
0 files changed, 0 insertions, 0 deletions