On Thu, Oct 10, 2013 at 8:07 AM, j. van den hoff <[email protected]>wrote:
> so the question is, whether on can edit the name/url of existing wiki > pages. > No. The wiki page name is the primary key used in the low-level artifacts that record wiki pages, so there is no way to change the name after the fact. Though, you can create a new wiki page with the new name. -- D. Richard Hipp [email protected]
_______________________________________________ fossil-users mailing list [email protected] http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
