diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-16 23:21:57 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-03-16 23:21:57 (GMT) |
commit | b0fece468986e98124dfd59e24222724cf7c96fa (patch) | |
tree | 23130fa9ebf64754c203d89ef4a39c9a0bac375f /config/tools.in | |
parent | 2244007325f1fbd50177b56511091b347837997e (diff) |
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.
Diffstat (limited to 'config/tools.in')
-rw-r--r-- | config/tools.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/config/tools.in b/config/tools.in deleted file mode 100644 index fe73609..0000000 --- a/config/tools.in +++ /dev/null @@ -1,3 +0,0 @@ -menu "Tools facilities" -source config.gen/tools.in -endmenu |