diff options
Diffstat (limited to 'dev-zero.txt')
| -rw-r--r-- | dev-zero.txt | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/dev-zero.txt b/dev-zero.txt index c6c1f584db0d..d99a74728531 100644 --- a/dev-zero.txt +++ b/dev-zero.txt @@ -14,15 +14,7 @@ $ pmaint sync dev-zero WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set WARNING:pkgcore:repository at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set WARNING:pkgcore:repository at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set -From git://anongit.gentoo.org/dev/dev-zero - cd66346..c28a136 master -> origin/master -Updating cd66346..c28a136 -Fast-forward - app-text/proselint/Manifest | 1 + - app-text/proselint/proselint-0.7.0.ebuild | 42 +++++++++++++++++++++++++++++++ - 2 files changed, 43 insertions(+) - create mode 100644 app-text/proselint/Manifest - create mode 100644 app-text/proselint/proselint-0.7.0.ebuild +Already up-to-date. *** syncing dev-zero *** synced dev-zero * Sync succeeded |