config/tools.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Sep 06 11:47:40 2009 +0200 (2009-09-06)
changeset 1515 545179329bc5
permissions -rw-r--r--
tools wrapper: move choice selection to a more appropriate place

Move the tools wrapper choice selection down to the companion libraries
sub-menu, to avoid the user going back and forth in the menu.
     1 menu "Tools facilities"
     2 source config.gen/tools.in
     3 endmenu