Remove unused settings and disable updating to prereleases of the CodeQL CLI by default#15

Merged

jcreedcmu merged 1 commit intogithub:masterfrom

henrymercer:remove-unused-settings

Apr 16, 2020

Commits on Apr 16, 2020

Remove unused settings and disable updating to prereleases by default
henrymercer
committed