diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2019-05-28 03:10:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-28 03:10:56 +0200 |
| commit | 030eb35a498186d203301756b7158101332fabda (patch) | |
| tree | 20750e99ad87b3146a7d823462ef15e1a41107aa /pkgs/development/python-modules/python-stdnum | |
| parent | 2762950a8a2b80cb188857b0626cbd533336ae1e (diff) | |
| parent | 069167de8a90afa8ad386c0554b2f3a98f420339 (diff) | |
Merge pull request #62115 from markuskowa/fix-gr-rename
gnuradio: rename plugins gnuradio-* -> gr-*
Diffstat (limited to 'pkgs/development/python-modules/python-stdnum')
0 files changed, 0 insertions, 0 deletions