no use to try f10 or f12 as gnuradio only showed up in f14
[infrastructure.git] / scripts / post-receive-email-1.5.5.6
2010-05-27 Thierry Parmentelatthe standard post-receive-script for future reference