diff options
author | 2018-06-20 01:05:33 +0000 | |
---|---|---|
committer | 2018-06-20 01:05:33 +0000 | |
commit | b88e5f4853a0e362c2fc2517935566b566efb686 (patch) | |
tree | 3d89f13ddb60ebd03d2d8c8efbe86b67fe3e3f6d /gnuradio.txt | |
parent | 2018-06-20T00:40:01Z (diff) | |
download | repos-b88e5f4853a0e362c2fc2517935566b566efb686.tar.gz repos-b88e5f4853a0e362c2fc2517935566b566efb686.tar.bz2 repos-b88e5f4853a0e362c2fc2517935566b566efb686.zip |
2018-06-20T01:00: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 |