Merge pull request #334 from jdgleaver/options-update
authorTwinaphex <libretro@gmail.com>
Wed, 14 Aug 2019 13:19:52 +0000 (15:19 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Aug 2019 13:19:52 +0000 (15:19 +0200)
Update 'libretro_core_options.h' to v1.3 format


Trivial merge