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