K 10
svn:author
V 4
rene
K 8
svn:date
V 27
2013-07-03T15:32:01.084413Z
K 7
svn:log
V 211
Switch the default Linux DRI port to linux-f10-dri and remove support
for the unused USE_GL=linux (this avoids hardcoding the Linux DRI port).

PR:		ports/180231
Submitted by:	myself
Approved by:	portmgr (bapt)

END