projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 743b5e9) | patch
dev-lang/gnat-gcc: remove unused patches
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>
Sat, 6 Aug 2016 14:51:48 +0000 (16:51 +0200)
committerDavid Seifert <soap@gentoo.org>
Sun, 6 Nov 2016 19:31:49 +0000 (20:31 +0100)
commit4487cff0713a8240761b079338d2617e768ee4f7
tree4904c78f3655be45dd44dc6f020e253b7ad0c892tree | snapshot
parent743b5e91b036b046d0e3ba8047a838993acdb7a9commit | diff
dev-lang/gnat-gcc: remove unused patches

Closes: https://github.com/gentoo/gentoo/pull/2167

Signed-off-by: David Seifert <soap@gentoo.org>
dev-lang/gnat-gcc/files/gcc-configure-LANG.patch [deleted file] blob | history
dev-lang/gnat-gcc/files/gcc-spec-env-r1.patch [deleted file] blob | history
dev-lang/gnat-gcc/files/gnat-Make-lang.in.patch [deleted file] blob | history
dev-lang/gnat-gcc/files/gnat-gcc-4.9.3-make-default-paths-match-slot.patch [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.