diff options
| author | jblum | 2008-09-17 14:34:27 +0000 |
|---|---|---|
| committer | jblum | 2008-09-17 14:34:27 +0000 |
| commit | d601eb214a5c5e647134f7a43c5d0fa83c3488a4 (patch) | |
| tree | 34120c3cce92f9ed9c4cf9728bf9bb20785354c9 /grc/src/gui/Preferences.py | |
| parent | 9a95709412e47237f595aab27f40704144bdafee (diff) | |
| download | gnuradio-d601eb214a5c5e647134f7a43c5d0fa83c3488a4.tar.gz gnuradio-d601eb214a5c5e647134f7a43c5d0fa83c3488a4.tar.bz2 gnuradio-d601eb214a5c5e647134f7a43c5d0fa83c3488a4.zip | |
replaced EXTRA_DIST with dist_ prefix
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@9600 221aa14e-8319-0410-a670-987f0aec2ac5
Diffstat (limited to 'grc/src/gui/Preferences.py')
0 files changed, 0 insertions, 0 deletions