diff options
Diffstat (limited to 'hardened-development.txt')
| -rw-r--r-- | hardened-development.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/hardened-development.txt b/hardened-development.txt index 11f57179fa34..a6325351892a 100644 --- a/hardened-development.txt +++ b/hardened-development.txt @@ -8,7 +8,6 @@ 'uri': 'git://anongit.gentoo.org/proj/hardened-dev.git'}], 'status': 'official'} $ pmaint sync hardened-development -WARNING:pkgcore:repository at '/home/mgorny/sync/dsr', named 'dsr', doesn't specify masters in metadata/layout.conf. Defaulting to whatever repository is defined as 'default' (gentoo usually). Please explicitly set the masters, or set masters = '' if the repository is standalone. WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' Already up-to-date. *** syncing hardened-development |