K 10 svn:author V 4 bapt K 8 svn:date V 27 2012-10-29T11:41:37.791929Z K 7 svn:log V 125 Converting port to new options framework PR: ports/172433 Submitted by: Michael Gmelin Feature safe: yes END