diff options
| author | klensy <klensy@users.noreply.github.com> | 2025-07-15 15:42:23 +0300 |
|---|---|---|
| committer | klensy <klensy@users.noreply.github.com> | 2025-07-15 15:42:23 +0300 |
| commit | 016e53480ce9e7119daeabb052560ad5246e0e47 (patch) | |
| tree | 913af72e3753d3488d59211789b5fec3ac4aeeaa | |
| parent | 0bf4d5a6171914e0a20e167be73982b23bd8851a (diff) | |
| download | rust-016e53480ce9e7119daeabb052560ad5246e0e47.tar.gz rust-016e53480ce9e7119daeabb052560ad5246e0e47.zip | |
gh-pages: reduce page size by skipping spaces
| -rw-r--r-- | util/gh-pages/index_template.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/gh-pages/index_template.html b/util/gh-pages/index_template.html index 06646f8a892..5d65ea585df 100644 --- a/util/gh-pages/index_template.html +++ b/util/gh-pages/index_template.html @@ -148,7 +148,7 @@ Otherwise, have a great day =^.^= <label for="label-{{lint.id}}"> {# #} <h2 class="lint-title"> {# #} <div class="panel-title-name" id="lint-{{lint.id}}"> {# #} - {{lint.id +}} + {{lint.id ~}} <a href="#{{lint.id}}" class="anchor label label-default">¶</a> {#+ #} <a href="" class="copy-to-clipboard anchor label label-default"> {# #} 📋 {# #} |