no use to try f10 or f12 as gnuradio only showed up in f14
[infrastructure.git] / scripts / sfa-1.0-10.sh
2010-12-15 Thierry Parmentelatbuilding script