diff options
Diffstat (limited to 'html/links.phtml')
| -rw-r--r-- | html/links.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/links.phtml b/html/links.phtml index 6ac723f4..32be2894 100644 --- a/html/links.phtml +++ b/html/links.phtml @@ -11,5 +11,5 @@ for links to include here, or find broken links, please script management is not supported, but there are extensive menus and shortcuts provided for common Isabelle commands. +</li> </ul> -<li>
\ No newline at end of file |