User: eschnett Date: 2012/12/11 10:54 AM
Modified: /global/ navigation.php
Log: Rename "developers" page to "maintainers"
File Changes:
Directory: /global/ ===================
File [modified]: navigation.php Delta lines: +1 -1 =================================================================== --- global/navigation.php 2012-12-11 16:53:23 UTC (rev 918) +++ global/navigation.php 2012-12-11 16:54:51 UTC (rev 919) @@ -6,7 +6,7 @@
<li><a href="/about/">About the Toolkit</a> <ul class="subnav"> <li><a href="/about/members/">Members</a></li> - <li><a href="/about/developers/">Maintainers</a></li> + <li><a href="/about/maintainers/">Maintainers</a></li> <li><a href="/about/governance/">Governance</a></li> <ul><li></li></ul> <li><a href="/about/capabilities/">Capabilities</a></li>
commits@lists.einsteintoolkit.org