diff options
Diffstat (limited to 'docs/manual/glossary.html.en')
| -rw-r--r-- | docs/manual/glossary.html.en | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/glossary.html.en b/docs/manual/glossary.html.en index 25b5cd5f9d..ed865c0459 100644 --- a/docs/manual/glossary.html.en +++ b/docs/manual/glossary.html.en @@ -38,7 +38,7 @@ </div> <div class="top"><a href="#page-header"><img alt="top" src="./images/up.gif" /></a></div> <div class="section"> -<h2><a name="definitions" id="definitions">Definitions</a></h2> +<h2><a name="definitions" id="definitions">Definitions</a><a title="Permanent link" href="#definitions" class="permalink">¶</a></h2> <dl> <dt><a name="accesscontrol" id="accesscontrol">Access Control</a></dt> |