mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-05-21 01:57:45 +00:00
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.