K 10
svn:author
V 3
gjb
K 8
svn:date
V 27
2013-03-27T21:57:42.958229Z
K 7
svn:log
V 121
Fix PORT_OPTIONS check for 'DEVEL'.

PR:		ports/177360
Pointyhat:	gjb (myself)
Approved by:	garga (maintainer, implicit)

END