Juan RP 05b83a2528 etc/defaults.conf: disable -mtune=generic for now.		2014-05-16 17:17:32 +02:00
..
defaults.conf	etc/defaults.conf: disable -mtune=generic for now.	2014-05-16 17:17:32 +02:00