diff options
author | eb | 2008-09-08 23:08:46 +0000 |
---|---|---|
committer | eb | 2008-09-08 23:08:46 +0000 |
commit | 202d13adec25b771faa9e20531740c6ff771c444 (patch) | |
tree | 3f491b5e7e6ea91f535a624ddc68a3151da481d1 /grc/data/platforms/python/blocks/options.xml | |
parent | 8282d43f2be31e3dbee12faf48c2bccaccea8323 (diff) | |
download | gnuradio-202d13adec25b771faa9e20531740c6ff771c444.tar.gz gnuradio-202d13adec25b771faa9e20531740c6ff771c444.tar.bz2 gnuradio-202d13adec25b771faa9e20531740c6ff771c444.zip |
Now passes distcheck with or without microblaze tools on path.
Merged eb/distcheck 9534:9537 into trunk.
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@9538 221aa14e-8319-0410-a670-987f0aec2ac5
Diffstat (limited to 'grc/data/platforms/python/blocks/options.xml')
0 files changed, 0 insertions, 0 deletions