Merge pull request #416 from negativeExponent/libretro
authorAutechre <libretro@gmail.com>
Tue, 12 May 2020 14:42:34 +0000 (16:42 +0200)
committerGitHub <noreply@github.com>
Tue, 12 May 2020 14:42:34 +0000 (16:42 +0200)
more core options cleanup


Trivial merge