ports.git - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	Use WANT_AUTOCONF_VER so we don't automagically execute autoconf when we	Alan Eldridge	2002-11-27	1	-1/+1
*	Fix autoconf usage. Port is still broken, though. It's missing linking in	Alan Eldridge	2002-11-27	1	-3/+7
*	Add parallel to CATEGORIES.	Akinori MUSHA	2002-11-24	1	-1/+1
*	Forgot to remove this one...	Jimmy Olgeni	2002-10-09	1	-12/+0
*	Update to version 1.2.4.	Jimmy Olgeni	2002-10-09	2	-5/+4
*	Set proper ownership and permissions in ${PREFIX}/lib/oz (UID and GID in	Jimmy Olgeni	2002-08-16	1	-0/+6
*	Shorten comment to make portlint happy.	Jimmy Olgeni	2002-07-18	1	-1/+1
*	Update port to version 1.2.3, setting emacs21 as the default IDE.	Jimmy Olgeni	2002-07-18	3	-8/+23
*	BROKEN: Does not detect bison correctly	Kris Kennaway	2002-05-17	1	-0/+2
*	Use ${ECHO_CMD} instead of ${ECHO} where you mean the echo command;	Akinori MUSHA	2002-01-29	1	-7/+7
*	Update port to version 1.2.1 (20010816).	Jimmy Olgeni	2001-09-08	2	-8/+9
*	Update port to version 1.2.0.	Jimmy Olgeni	2001-05-28	8	-2580/+25
*	Add documentation (optional with NOPORTDOCS support), and a couple of	Jimmy Olgeni	2001-02-08	5	-33/+2180
*	Massive style enforcement - use ^I instead of spaces for variables identation.	Maxim Sobolev	2001-01-16	1	-17/+17
*	Change PKGDIR from pkg/ to . Also fix places where ${PKGDIR} is	Satoshi Asami	2000-10-08	1	-1/+1
*	Adding mozart version 1.1.0.20000207.	Steve Price	2000-07-10	12	-0/+532