ports/180231: [exp-run] (?) change Linux DRI default from graphics/linux-dri74 to graphics/linux-f10-dri

[rene at FreeBSD.org]

Synopsis: [exp-run] (?) change Linux DRI default from graphics/linux-dri74 to graphics/linux-f10-dri

Responsible-Changed-From-To: emulation->portmgr
Responsible-Changed-By: rene
Responsible-Changed-When: Wed Jul 3 12:51:06 UTC 2013
Responsible-Changed-Why: 
Touches bsd.port.mk

http://www.freebsd.org/cgi/query-pr.cgi?pr=180231