How do I change the title of the wiki?
Christopher Brooks, 8 Mar 2009
Last updated: 23 Feb 2011

<?php if (!defined('PmWiki')) exit();
$WikiTitle = "DARPA Grand Challenge 3 (DGC3)";
?>

Once you make your changes, check them in and then click on the CVS Update link on the main page.

For more information, see How do I edit pages in a group with the "CVS Authoring" option?