Markus Kowalewski 069167de8a gnuradio: rename plugins gnuradio-* -> gr-* ... * harmonize plugin names with repology * added aliases to maintain backwards compatability		2019-05-27 14:26:31 +02:00
..
default.nix	…