John Marino 9e4950a874 devel/gnatcoll: Don't install gps files to avoid conflict with gps ... The embedded gnatcoll in GPS wants to install the GPS support files and it is better that the embedded gnatcoll does it. While here, bring in iconv warning fix and also allow python 3 as a valid python option (I assume it is without actually testing it).		2014-05-23 08:10:27 +00:00
..
patch-src_gnatcoll__iconv.gpr
patch-src_gnatcoll__readline.gpr.in
patch-src_iconv_with__iconv_iconv__support.c