marino 528e1f5c32 devel/gprbuild-aux: change buildlink default full=>build ... Normally gprbuild is only used for building, with a notable exception of the broken devel/gps.		2016-11-26 18:34:47 +00:00
..
patches
DESCR
distinfo
Makefile	devel/gprbuild-aux: change buildlink default full=>build	2016-11-26 18:34:47 +00:00
options.mk	Remove python33: adapt all packages that refer to it.	2016-07-09 13:03:30 +00:00