projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16c2905) | patch
dev-ada/gprbuild: Really add /usr/share/gpr in front of the path
authorTupone Alfredo <tupone@gentoo.org>
Tue, 14 Nov 2017 18:22:26 +0000 (19:22 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Tue, 14 Nov 2017 18:22:26 +0000 (19:22 +0100)
commit96ae78b9e81026b99a058897ee5306e565e4d4ad
treebef416deddef74377aba6ad18b51a87c2c7343f1tree | snapshot
parent16c2905589ca909ec2cb1c54156be9826a8c13f6commit | diff
dev-ada/gprbuild: Really add /usr/share/gpr in front of the path

Package-Manager: Portage-2.3.8, Repoman-2.3.3
dev-ada/gprbuild/files/gprbuild-2016-gentoo.patch diff | blob | history
dev-ada/gprbuild/files/gprbuild-2017-gentoo.patch diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.