r26660 - Remove unused preferences. by @heeheehee-kolmafia[

[Github Bot]

What's Changed​

• Remove unused preferences. by @heeheehee-kolmafia in #979

Full Changelog: r26659...r26660

View on Github