diff options
author | 2018-06-17 01:25:31 +0000 | |
---|---|---|
committer | 2018-06-17 01:25:31 +0000 | |
commit | 9b3ef02a562255cd1739069dca30cfca618283b8 (patch) | |
tree | 2fa9f3fde836fe1526d8b630d626ffed6212c552 /gnuradio.txt | |
parent | 2018-06-17T01:00:02Z (diff) | |
download | repos-9b3ef02a562255cd1739069dca30cfca618283b8.tar.gz repos-9b3ef02a562255cd1739069dca30cfca618283b8.tar.bz2 repos-9b3ef02a562255cd1739069dca30cfca618283b8.zip |
2018-06-17T01:20:01Z
Diffstat (limited to 'gnuradio.txt')
-rw-r--r-- | gnuradio.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gnuradio.txt b/gnuradio.txt index 1c69e2791af1..d125a149238c 100644 --- a/gnuradio.txt +++ b/gnuradio.txt @@ -8,9 +8,7 @@ 'uri': 'https://github.com/hololeap/gentoo-gnuradio'}], 'status': 'unofficial'} $ pmaint sync gnuradio -WARNING:pkgcore:repo lacks a defined name: '/var/lib/repo-mirror-ci/sync/zugaina' WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs -WARNING:pkgcore:repo lacks a defined name: '/var/lib/repo-mirror-ci/sync/zugaina' *** syncing gnuradio Already up to date. *** synced gnuradio |