K 10
svn:author
V 4
rene
K 8
svn:date
V 27
2013-06-06T09:48:53.206868Z
K 7
svn:log
V 135
Remove option for expired linuxhtreads port.

PR:		ports/179353
Submitted by:	myself
Approved by:	c.petrik.sosa@gmail.com (maintainer)

END