User: rhaas Date: 2016/05/06 03:07 AM
Modified: /global/ navigation.php
Log: add link to wiki to navigation bar
File Changes:
Directory: /global/ ===================
File [modified]: navigation.php Delta lines: +1 -0 =================================================================== --- global/navigation.php 2016-04-15 13:37:13 UTC (rev 1506) +++ global/navigation.php 2016-05-06 08:07:00 UTC (rev 1507) @@ -32,6 +32,7 @@ <li><a href="/documentation/UsersGuide/">User's Guide</a></li> <li><a href="/documentation/ThornDoc/">Thorn Guide</a></li> <li><a href="/documentation/ReferenceManual/">Reference Manual</a></li> + <li><a href="http://docs.einsteintoolkit.org/">Wiki</a></li> <li><a href="/documentation/MaintGuide/">Maintainer's Guide</a></li> <li><a href="/documentation/contribute/">How to Contribute</a></li> </ul></li>
commits@lists.einsteintoolkit.org