ports/163252: [patch] devel/uppaal: unbreak make readme

edwin at FreeBSD.org edwin at FreeBSD.org
Tue Dec 13 17:30:37 UTC 2011

Previous message: ports/163252: [patch] devel/uppaal: unbreak make readme
Next message: ports/163253: [patch] japanese/ja-flex-sdk: unbreak make readme
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Synopsis: [patch] devel/uppaal: unbreak make readme

Responsible-Changed-From-To: freebsd-ports-bugs->crees
Responsible-Changed-By: edwin
Responsible-Changed-When: Tue Dec 13 17:30:36 UTC 2011
Responsible-Changed-Why: 
crees@ wants his PRs (via the GNATS Auto Assign Tool)

http://www.freebsd.org/cgi/query-pr.cgi?pr=163252

Previous message: ports/163252: [patch] devel/uppaal: unbreak make readme
Next message: ports/163253: [patch] japanese/ja-flex-sdk: unbreak make readme
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-ports-bugs mailing list