K 10 svn:author V 5 edwin K 8 svn:date V 27 2006-01-07T01:10:05.000000Z K 7 svn:log V 217 Add comment/documentation for WITH_HALFOPS option in port Makefile My previous patch neglected to list WITH_HALFOPS in the list of port options. PR: ports/91383 Submitted by: Geraint Edwards END