marino 45b5958f1f devel/gprbuild-aux: Remove old patches ... CVS mistake; These two patches should have been removed with previous commit.		2012-07-08 20:11:09 +00:00
..
patch-gprbuild.gpr	devel/gprbuild-aux: Upgrade to version GPL 2012	2012-07-08 20:08:42 +00:00
patch-Makefile.in	devel/gprbuild-aux: Upgrade to version GPL 2012	2012-07-08 20:08:42 +00:00
patch-share_gprconfig_compilers.xml	devel/gprbuild-aux: Upgrade to version GPL 2012	2012-07-08 20:08:42 +00:00
patch-share_gprconfig_gnat.xml	devel/gprbuild-aux: Upgrade to version GPL 2012	2012-07-08 20:08:42 +00:00
patch-share_gprconfig_linker.xml	devel/gprbuild-aux: Upgrade to version GPL 2012	2012-07-08 20:08:42 +00:00
patch-share_gprconfig_targetset.xml	devel/gprbuild-aux: Upgrade to version GPL 2012	2012-07-08 20:08:42 +00:00
patch-src_gprlib.adb	devel/gprbuild-aux: Upgrade to version GPL 2012	2012-07-08 20:08:42 +00:00