diff options
Diffstat (limited to 'html/doc.phtml')
| -rw-r--r-- | html/doc.phtml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/html/doc.phtml b/html/doc.phtml index bb0de678..f771b5a5 100644 --- a/html/doc.phtml +++ b/html/doc.phtml @@ -24,7 +24,6 @@ announcements by joining our <a href="mailinglist.phtml">mailing list</a>. </p> -<hr> <h2>References</h2> <p> Ideas for the future of Proof General are given here: |