Juan RP d3a9e61ad1 linux{3.1[89],4.0}: fix $STRIP with the dummy strip(1) wrapper.		2015-04-29 11:15:57 +02:00
..
i386-dotconfig	…
mv-debug	…
x86_64-dotconfig	…