Merge pull request #415 from negativeExponent/core_option_cleanup
authorhizzlekizzle <hizzlekizzle@users.noreply.github.com>
Sun, 10 May 2020 18:41:14 +0000 (13:41 -0500)
committerGitHub <noreply@github.com>
Sun, 10 May 2020 18:41:14 +0000 (13:41 -0500)
commit6673bd839633242694a1f759b02b61d0adc78b12
treec079327ed3fc9ffc0304a765108988c6e3445864
parent191784698dda7161f6a842157c240e31439425a8
parentec253988202457b6aa5de5272b4f980d4219bed9
Merge pull request #415 from negativeExponent/core_option_cleanup

Core option cleanup