freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

	Commit message (Expand)	Author	Age	Files	Lines
*	Reset ports maintained by bf@ until he has time again to work on them.	rene	2016-06-28	1	-1/+1
*	Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.	mat	2016-04-01	1	-5/+5
*	- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add	madpilot	2015-05-04	1	-1/+1
*	Canonicalize a few licenses	antoine	2014-12-07	1	-1/+1
*	Cleanup plist	antoine	2014-11-14	1	-3/+0
*	Update the default version of GCC in the Ports Collection from GCC 4.7.4	gerald	2014-09-11	1	-0/+1
*	Convert GMAKE to MAKE_CMD	bapt	2014-06-25	1	-1/+1
*	math/alt-ergo: Update version 0.94 => 0.95.2 and support stage	marino	2014-06-03	3	-30/+25
*	- Convert gmake,bzip2 to USES	miwi	2014-05-26	1	-1/+1
*	Add NO_STAGE all over the place in preparation for the staging support (cat: ...	bapt	2013-09-21	1	-0/+1
*	update master sites; trim headers; reposition LICENSE, WWW	bf	2013-03-19	2	-2/+2
*	switch to the new options format	bf	2013-03-07	1	-3/+4
*	update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust	bf	2013-03-06	1	-7/+5
*	- update png to 1.5.10	dinoex	2012-06-01	1	-0/+1
*	Add alt-ergo 0.94, an automatic theorem prover dedicated to program	bf	2011-12-21	4	-0/+87