freebsd-ports/devel/uppaal
Jason Helfman 27dceef26f - 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)
2011-12-30 17:26:25 +00:00
..
files
distinfo
Makefile - Reassignment of ECHO_MSG breaks 'make readme', so remove and reformat IGNORE. 2011-12-30 17:26:25 +00:00
pkg-descr
pkg-plist