diff options
author | Karel Kočí <karel.koci@nic.cz> | 2019-10-21 15:09:37 +0200 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2019-10-21 15:09:37 +0200 |
commit | 1cf05c73fc77e5df380669bafbfc7f3c15d21bb6 (patch) | |
tree | bdb74e4849ccf5a9e2178476400bd6d9fa071204 /profiles/devel/arm/package.use | |
parent | 74364f9325bbe3bd6f24419170aceac7d3f2f41d (diff) | |
download | gentoo-personal-overlay-1cf05c73fc77e5df380669bafbfc7f3c15d21bb6.tar.gz gentoo-personal-overlay-1cf05c73fc77e5df380669bafbfc7f3c15d21bb6.tar.bz2 gentoo-personal-overlay-1cf05c73fc77e5df380669bafbfc7f3c15d21bb6.zip |
profiles/base: fix mirror path
linux.cz seems to be no longer available.
Diffstat (limited to 'profiles/devel/arm/package.use')
0 files changed, 0 insertions, 0 deletions