| <!-- Subversion's "source code" link goes to a custom page, not just |
| to servlets/ProjectSource like normal Tigris projects. So Jason |
| Robbins addied a condition in the branding code to include |
| PROJECT/www/project_tools.html if that file exists. --> |
| |
| <div><small><a href="/servlets/ProjectMemberList">Membership</a></small></div> |
| |
| <div><small><a href="/servlets/ProjectMailingListList">Mailing lists</a></small></div> |
| |
| <div><small><a href="/project_source.html">Source code</a></small></div> |
| |
| <div><small><a href="/project_issues.html">Issue tracking</a></small></div> |
| |
| <div><small><a href="/servlets/ProjectDocumentList">File sharing</a></small></div> |
| |
| <div><small><a href="/servlets/ProjectNewsList">News</a></small></div> |