2 Commits

Author	SHA1	Message	Date
Orivej Desh	b5d1d50aa9	google-gflags: move to aliases.nix ... google-gflags were renamed to gflags in 2012: https://github.com/gflags/gflags/#25-january-2012 gflags.name will be updated in staging.	2019-07-25 09:18:32 +00:00
Elis Hirwing	70662a43c9	gnss-sdr: Move from misc to radio	2019-02-09 21:39:39 +01:00