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 | |
| 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
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index f84a3704ca9..ddc8dad95e8 100644 --- a/.gitignore +++ b/.gitignore @@ -83,6 +83,7 @@ __pycache__/ node_modules package-lock.json package.json +/src/doc/rustc-dev-guide/mermaid.min.js ## Rustdoc GUI tests tests/rustdoc-gui/src/**.lock |