diff options
| author | Michael Haubenwallner <haubi@gentoo.org> | 2019-10-24 17:05:35 +0200 |
|---|---|---|
| committer | Michael Haubenwallner <haubi@gentoo.org> | 2019-10-24 17:05:56 +0200 |
| commit | 8d941d9c0e77eaab787df5f19ab97ca8a2fd6cff (patch) | |
| tree | 9a927f2acb11c8ec69b51410203cd9da8e75c26f /man | |
| parent | f2278785d6833e3e3358cd847280e9c9107f303e (diff) | |
| download | gentoolkit-8d941d9c0e77eaab787df5f19ab97ca8a2fd6cff.tar.gz | |
ekeyword: fix for when main-repo != "gentoo"
Closes: https://bugs.gentoo.org/698256
Signed-off-by: Michael Haubenwallner <haubi@gentoo.org>
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions