From 1aea7fca0334e89fbcf69cc7477589e4118b3ebe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 19 Mar 2000 06:40:30 +0000
Subject: Improved links, new project on ACS.

---
 html/devel.phtml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'html/devel.phtml')

diff --git a/html/devel.phtml b/html/devel.phtml
index 57e7b109..dfd45d4b 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -27,6 +27,7 @@ see <a href="/home/da/drafts/#white">here</a>.
 </ul>
 <ul>
 <li>
+Get involved!
 Take a look at the Proof General <a href="projects.phtml">project proposals</a>.
 </li>
 </ul>
-- 
cgit v1.2.3