Hi Peter,
the wiki uses MoinMoin. As explained in
https://moinmo.in/HelpOnProcessingInstructions#A.23redirect
you can
just create a new page with the old name containing only:
#redirect
NewWikiPageName
I've already done that for the page you
moved.
Cheers,
Nicola
Il 02.09.2015 12:28 Peter
Hi all,
I just renamed a page on the wiki to fix a typo:
https://wiki.galaxyproject.org/ToolsWitDependenciesInSameRepository
now:
https://wiki.galaxyproject.org/ToolsWithDependenciesInSameRepository
I didn't see any option about setting up a redirection from the old URL
(for pages linked to
