Date: Fri, 26 Feb 2010 09:30:28 +0000 (UTC) From: Martin Wilke <miwi@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/proofgeneral Makefile ports/lang/polyml Makefile ports/math/isabelle Makefile Message-ID: <201002260930.o1Q9US5Y034567@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
miwi 2010-02-26 09:30:28 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral Makefile
lang/polyml Makefile
math/isabelle Makefile
Log:
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
PR: 143994 143995 143996
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe: yes
Revision Changes Path
1.10 +1 -1 ports/lang/polyml/Makefile
1.13 +1 -1 ports/math/isabelle/Makefile
1.24 +1 -1 ports/math/proofgeneral/Makefile
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201002260930.o1Q9US5Y034567>