diff options
| -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"> {# #} 📋 {# #} |
