diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2020-05-10 09:36:23 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-05-10 09:36:23 +0000 |
| commit | 4386ecb4455053ec0b67cd47c70d785ab06944b8 (patch) | |
| tree | 85ac920fe54bb63e0313fa9591bda93592d6d3e7 /edgets.txt | |
| parent | 2020-05-10T09:00:01Z (diff) | |
| download | repos-4386ecb4455053ec0b67cd47c70d785ab06944b8.tar.gz repos-4386ecb4455053ec0b67cd47c70d785ab06944b8.tar.bz2 repos-4386ecb4455053ec0b67cd47c70d785ab06944b8.zip | |
2020-05-10T09:30:01Z
Diffstat (limited to 'edgets.txt')
| -rw-r--r-- | edgets.txt | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/edgets.txt b/edgets.txt index 553604f7ba34..cf5d6ba2ea54 100644 --- a/edgets.txt +++ b/edgets.txt @@ -12,12 +12,7 @@ 'uri': 'git+ssh://git@github.com/BlueManCZ/edgets.git'}], 'status': 'unofficial'} $ pmaint sync edgets -From https://github.com/BlueManCZ/edgets - ce92b09..55c8eda master -> origin/master -Updating ce92b09..55c8eda -Fast-forward - PACKAGES.md | 12 ++++++++++-- - 1 file changed, 10 insertions(+), 2 deletions(-) +Already up to date. *** syncing edgets *** synced edgets * Sync succeeded |