From b0fece468986e98124dfd59e24222724cf7c96fa Mon Sep 17 00:00:00 2001 From: "Yann E. MORIN\"" Date: Wed, 17 Mar 2010 00:21:57 +0100 Subject: 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. --- config/tools.in | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 config/tools.in (limited to 'config/tools.in') diff --git a/config/tools.in b/config/tools.in deleted file mode 100644 index fe736090..00000000 --- a/config/tools.in +++ /dev/null @@ -1,3 +0,0 @@ -menu "Tools facilities" -source config.gen/tools.in -endmenu -- cgit v1.2.3