K 10
svn:author
V 5
riggs
K 8
svn:date
V 27
2019-01-03T15:07:21.757246Z
K 7
svn:log
V 301
Retire VLC OPTION; subsequently remove OPTIONs for this port

Details:
- Since the removal of vlc-qt4, gstreamer is the only backend choice.
  The only OPTION available was choosing between vlc and gstreamer, hence
  the port no longer supports OPTIONs.
- While on it: Pet portlint

Reported by:	makc

END