projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c8523a) | patch
dev-util/repo: Use correct distfile name
authorAngelo G. Del Regno <kholk11@gmail.com>
Sun, 28 May 2017 09:52:34 +0000 (11:52 +0200)
committerLars Wendler <polynomial-c@gentoo.org>
Tue, 30 May 2017 15:32:52 +0000 (17:32 +0200)
commit7ca96636e6b75f73e25def1e8f6b217d49e3134a
tree275b2573c1587026dba3bedc0f97f0d8ef3ccecdtree | snapshot
parent7c8523a17174a82170fbffafec7cf01328edf784commit | diff
dev-util/repo: Use correct distfile name

Update SRC_URI to rename the distfile correctly.
Closes: https://github.com/gentoo/gentoo/pull/4786
dev-util/repo/Manifest diff | blob | history
dev-util/repo/repo-1.12.37.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.