projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47629bc) | patch
dev-lang/gnat-gpl: Remove tool description file (to be put on gprbuild)
authorTupone Alfredo <tupone@gentoo.org>
Thu, 22 Jun 2017 19:59:41 +0000 (21:59 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Thu, 22 Jun 2017 19:59:41 +0000 (21:59 +0200)
commit27440b1aa409e5471622a0ad0bbebbf97e7f79c8
treedba9d8d0fef62cfc163e8233b65c2546439bfffbtree | snapshot
parent47629bcd377fa7ce6c03bd6768d18cae122afc51commit | diff
dev-lang/gnat-gpl: Remove tool description file (to be put on gprbuild)

Package-Manager: Portage-2.3.5, Repoman-2.3.1
dev-lang/gnat-gpl/files/gnat-gpl.xml [deleted file] blob | history
dev-lang/gnat-gpl/gnat-gpl-2016.ebuild diff | blob | history
dev-lang/gnat-gpl/gnat-gpl-2017.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.