diff options
author | Martijn Kaijser <mcm.kaijser@gmail.com> | 2015-11-17 18:38:31 +0100 |
---|---|---|
committer | Martijn Kaijser <mcm.kaijser@gmail.com> | 2015-11-17 18:38:31 +0100 |
commit | f311b25da58ec31816df9ffb828b466ca41e36b7 (patch) | |
tree | c64ac1ba3ecd34f8fc7969e56fc126ce3538544a /system | |
parent | 07f691e6ddccff40baff2c4b96dc9d907f761bbb (diff) |
[win32] Windows has no GL any more so setting negate is obsolete
Diffstat (limited to 'system')
-rw-r--r-- | system/settings/win32.xml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/system/settings/win32.xml b/system/settings/win32.xml index c676390672..ad3c9b4fdd 100644 --- a/system/settings/win32.xml +++ b/system/settings/win32.xml @@ -7,15 +7,6 @@ </group> </category> </section> - <section id="videos"> - <category id="videoplayer"> - <group id="3"> - <setting id="videoplayer.usedisplayasclock"> - <requirement negated="true">HAS_GL</requirement> - </setting> - </group> - </category> - </section> <section id="services"> <category id="zeroconf"> <group id="1"> |