diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2020-05-20 10:36:34 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-05-20 10:36:34 +0000 |
| commit | 74cfedd3a59d0b98fb7670b1d57be595015c2844 (patch) | |
| tree | e9520d323e15ba3c18d9ae6f608f66afbda8a58e /buzden.txt | |
| parent | 2020-05-20T10:00:01Z (diff) | |
| download | repos-74cfedd3a59d0b98fb7670b1d57be595015c2844.tar.gz repos-74cfedd3a59d0b98fb7670b1d57be595015c2844.tar.bz2 repos-74cfedd3a59d0b98fb7670b1d57be595015c2844.zip | |
2020-05-20T10:30:01Z
Diffstat (limited to 'buzden.txt')
| -rw-r--r-- | buzden.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/buzden.txt b/buzden.txt index 9354176dd32a..f3862ec82e0a 100644 --- a/buzden.txt +++ b/buzden.txt @@ -13,6 +13,8 @@ {'type': 'git', 'uri': 'git@github.com:buzden/buzden-overlay.git'}], 'status': 'unofficial'} $ pmaint sync buzden +From https://github.com/buzden/buzden-overlay + * [new branch] idris2 -> origin/idris2 Already up to date. *** syncing buzden *** synced buzden |