diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2022-07-30 07:39:56 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-30 07:39:56 +0900 |
| commit | cfbf7be7d03faa55219a9f6d08e90687a3000d1b (patch) | |
| tree | edab3bc17102f238d44a7b2e767f68f3f643070d /compiler/rustc_const_eval/src/util/alignment.rs | |
| parent | 735969eacdc8eecc16eb9b646f994518188fb9fd (diff) | |
| parent | 6149cf982c6c275d73345bc3d476ded733e7bc2f (diff) | |
| download | rust-cfbf7be7d03faa55219a9f6d08e90687a3000d1b.tar.gz rust-cfbf7be7d03faa55219a9f6d08e90687a3000d1b.zip | |
Rollup merge of #99904 - GuillaumeGomez:cleanup-html-whitespace, r=notriddle
Cleanup html whitespace I realized while looking at the raw HTML that we generated some unwanted white space characters. This PR cleans up the one coming directly from rustdoc. I'll check from `pulldown-cmark` for the remaining ones. Some numbers now: the difference is small, it goes from `63009` to `62859`. But multiplied by the number of files, it becomes quite interesting overall. r? `@notriddle`
Diffstat (limited to 'compiler/rustc_const_eval/src/util/alignment.rs')
0 files changed, 0 insertions, 0 deletions