[z3-checkins] r5581 - z3/www/trunk
faassen at codespeak.net
faassen at codespeak.net
Wed Jul 14 20:16:12 MEST 2004
Author: faassen
Date: Wed Jul 14 20:16:12 2004
New Revision: 5581
Modified:
z3/www/trunk/mkwebsite.py
Log:
Add link to issue tracker in main page.
Modified: z3/www/trunk/mkwebsite.py
==============================================================================
--- z3/www/trunk/mkwebsite.py (original)
+++ z3/www/trunk/mkwebsite.py Wed Jul 14 20:16:12 2004
@@ -60,6 +60,9 @@
('z3-checkins mailing list',
'http://codespeak.net/mailman/listinfo/z3-checkins'),
+
+ ('z3 base issue tracker',
+ 'http://codespeak.net/issues/z3/'),
]
site.registerPages(
More information about the z3-checkins
mailing list