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
..
DESCR
Makefile	devel/gprbuild-aux: change buildlink default full=>build	2016-11-26 18:34:47 +00:00
PLIST