diff options
Diffstat (limited to 'robert7k.txt')
| -rw-r--r-- | robert7k.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/robert7k.txt b/robert7k.txt index 225d9bf7ee06..9fd8e4e4522f 100644 --- a/robert7k.txt +++ b/robert7k.txt @@ -21,7 +21,5 @@ Already up-to-date. $ git log --format=%ci -1 $ pmaint regen --use-local-desc --pkg-desc-index -t 1 robert7k WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format: profile-set -WARNING:pkgcore:repository at '/home/mgorny/repos/xelnor' has unsupported profile format: profile-set -WARNING:pkgcore:repository at '/home/mgorny/repos/xelnor' has unsupported profile format: profile-set WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format: profile-set * Cache regenerated successfully |