diff options
author | 2020-07-05 20:38:23 +0000 | |
---|---|---|
committer | 2020-07-05 20:38:23 +0000 | |
commit | e9b52c5f168810bf8870ab48c6674619eea84c14 (patch) | |
tree | 38601afe6e9220153329040b1fe00a539e5aec81 /edgets.txt | |
parent | 2020-07-05T20:00:01Z (diff) | |
download | repos-e9b52c5f168810bf8870ab48c6674619eea84c14.tar.gz repos-e9b52c5f168810bf8870ab48c6674619eea84c14.tar.bz2 repos-e9b52c5f168810bf8870ab48c6674619eea84c14.zip |
2020-07-05T20:30:01Z
Diffstat (limited to 'edgets.txt')
-rw-r--r-- | edgets.txt | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/edgets.txt b/edgets.txt index f375f97be4f7..cf5d6ba2ea54 100644 --- a/edgets.txt +++ b/edgets.txt @@ -12,14 +12,7 @@ 'uri': 'git+ssh://git@github.com/BlueManCZ/edgets.git'}], 'status': 'unofficial'} $ pmaint sync edgets -From https://github.com/BlueManCZ/edgets - 73c44f0..1c81a7f master -> origin/master -Updating 73c44f0..1c81a7f -Fast-forward - sci-geosciences/google-earth-bin/Manifest | 2 + - .../google-earth-bin/google-earth-bin-7.3.3.ebuild | 77 ++++++++++++++++++++++ - 2 files changed, 79 insertions(+) - create mode 100644 sci-geosciences/google-earth-bin/google-earth-bin-7.3.3.ebuild +Already up to date. *** syncing edgets *** synced edgets * Sync succeeded |