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
buildlink3.mk	Use build option framework to not randomly vomit on the console.	2016-05-07 03:49:21 +00:00
DESCR
distinfo	Add SHA512 digests for distfiles for www category	2015-11-04 02:46:46 +00:00
Makefile	devel/gprbuild-aux: change buildlink default full=>build	2016-11-26 18:34:47 +00:00
options.mk