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
patch-Makefile.in
patch-share_gprconfig_compilers.xml
patch-share_gprconfig_gnat.xml
patch-share_gprconfig_linker.xml
patch-share_gprconfig_targetset.xml
patch-src_gprlib.adb