jgh 2011-12-30 17:26:25 UTC FreeBSD ports repository Modified files: devel/uppaal Makefile Log: - Reassignment of ECHO_MSG breaks 'make readme', so remove and reformat IGNORE. - Pet portlint PR: ports/163252 Submitted by: jgh (me) Approved by: maintainer (timeout), crees (mentor) Revision Changes Path 1.13 +5 -4 ports/devel/uppaal/Makefile