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
..
files	devel/gprbuild-aux: Commit forgotten file	2016-11-26 03:37:25 +00:00
patches
buildlink3.mk	devel/gprbuild-aux: change buildlink default full=>build	2016-11-26 18:34:47 +00:00
DESCR
distinfo
Makefile	devel/gprbuild-aux: Commit forgotten file	2016-11-26 03:37:25 +00:00
PLIST