How do I change the title of the wiki? To change the title, edit the wiki page and use (:title This is the title:) Another way is to use CVS to edit <?php if (!defined('PmWiki')) exit(); $WikiTitle = "DARPA Grand Challenge 3 (DGC3)"; ?> Once you make your changes, check them in and then click
on the For more information, see How do I edit pages in a group with the "CVS Authoring" option? |
| |||||||||||
Contact | |||||||||||
©2002-2018 U.C. Regents |