Adding Opera-ffmpeg-codecs

I won't modify this file for a long time now :)
This commit is contained in:
FredBezies 2018-09-20 22:50:12 +02:00 committed by GitHub
parent e92d25d02c
commit b8da52d355
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -10,6 +10,7 @@ options+=("flashplugin" "" off)
options+=("freshplayerplugin" "(AUR) Recommended" off) options+=("freshplayerplugin" "(AUR) Recommended" off)
options+=("freshplayerplugin-git" "(AUR)" off) options+=("freshplayerplugin-git" "(AUR)" off)
options+=("opera" "" off) options+=("opera" "" off)
options+=("opera-ffmpeg-codecs" "Non-free codecs" off)
options+=("seamonkey" "" off) options+=("seamonkey" "" off)
options+=("seamonkey-i18n" "(AUR)" off) options+=("seamonkey-i18n" "(AUR)" off)
options+=("midori" "" off) options+=("midori" "" off)