K 10
svn:author
V 4
tijl
K 8
svn:date
V 27
2016-11-03T21:47:46.023974Z
K 7
svn:log
V 89
Remove NVIDIA option from Linux ports now that the nvidia-driver can be
installed later.

END