projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 440e27a) | patch
dev-lang/gnat-gpl: Set the gnatbind executable for gprbind
authorTupone Alfredo <tupone@gentoo.org>
Wed, 29 Mar 2017 19:23:19 +0000 (21:23 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Wed, 29 Mar 2017 19:23:19 +0000 (21:23 +0200)
commitcbad00c56ddb09306a51423df780ce27a52d51b2
treea93933971f3d45ea293c70ef99ce44b572b816f9tree | snapshot
parent440e27a96a6e4bd23d69781f0e4a2e2789398611commit | diff
dev-lang/gnat-gpl: Set the gnatbind executable for gprbind

Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-lang/gnat-gpl/files/gnat-gpl.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.