diff options
author | 2020-02-06 01:10:59 +0000 | |
---|---|---|
committer | 2020-02-06 01:10:59 +0000 | |
commit | 8ef2a1f129c9a0ad260068057b74fdd7edf633c2 (patch) | |
tree | 7c13ff69e029b1741ae8a8e9c75e25b5584a87f4 /jellybean.txt | |
parent | 2020-02-06T00:00:01Z (diff) | |
download | repos-8ef2a1f129c9a0ad260068057b74fdd7edf633c2.tar.gz repos-8ef2a1f129c9a0ad260068057b74fdd7edf633c2.tar.bz2 repos-8ef2a1f129c9a0ad260068057b74fdd7edf633c2.zip |
2020-02-06T01:00:01Z
Diffstat (limited to 'jellybean.txt')
-rw-r--r-- | jellybean.txt | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/jellybean.txt b/jellybean.txt index 449638b416a0..83fee14393dc 100644 --- a/jellybean.txt +++ b/jellybean.txt @@ -11,16 +11,7 @@ 'uri': 'git+ssh://git@github.com/qi777xj/jellybean.git'}], 'status': 'unofficial'} $ pmaint sync jellybean -From https://github.com/qi777xj/jellybean - 04b6123..73a1d54 master -> origin/master -Updating 04b6123..73a1d54 -Fast-forward - media-fonts/nerd-fonts/Manifest | 91 +++++++++-------- - .../nerd-fonts/files/10-nerd-font-symbols.conf | 108 ++++++++++++++++++++- - media-fonts/nerd-fonts/metadata.xml | 9 ++ - ...-fonts-2.0.0.ebuild => nerd-fonts-2.1.0.ebuild} | 18 ++++ - 4 files changed, 183 insertions(+), 43 deletions(-) - rename media-fonts/nerd-fonts/{nerd-fonts-2.0.0.ebuild => nerd-fonts-2.1.0.ebuild} (87%) +Already up to date. *** syncing jellybean *** synced jellybean * Sync succeeded |