about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--util/gh-pages/index_template.html2
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">&para;</a> {#+ #}
                             <a href="" class="copy-to-clipboard anchor label label-default"> {# #}
                                 &#128203; {# #}