config/debug.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Mar 17 00:21:57 2010 +0100 (2010-03-17)
changeset 1854 02b74bd4373f
child 1870 a4c4e51aa541
permissions -rw-r--r--
tools: move sstrip to the binary utilities menu

sstrip is now alone in its 'tools' menu, and we will probably never gain
any other 'tool'. Besides, sstrip is just strip, but a little bit more
agressive, so it deserves going to the 'binary utilities' menu.
yann@924
     1
menu "Debug facilities"
yann@924
     2
source config.gen/debug.in
yann@924
     3
endmenu