Merge pull request #101 from sergiobenrocha2/master
authorTwinaphex <libretro@gmail.com>
Sat, 11 Feb 2017 20:22:43 +0000 (21:22 +0100)
committerGitHub <noreply@github.com>
Sat, 11 Feb 2017 20:22:43 +0000 (21:22 +0100)
Use disabled/enabled instead, like other core settings.


Trivial merge