[#3515] Move the old 'home' tool options into the tools block with the
appropriate wiki tool
Signed-off-by: John Hoffmann jwh@geek.net
Authored by: John Hoffmann 2012-01-06
Committed by: Tim Van Steenburgh 2012-01-10
Parent(s): [e5b93e]
Child(ren): [183852]