NewSoupVi 1a6de25ab6 Core, all worlds: Hard-deprecate old options API (by August 10th 2024) (#3284) ...

* Core: deprecate old options API

* also deprecate assigning options via option_definitions

---------

Co-authored-by: alwaysintreble <mmmcheese158@gmail.com>

2025-04-21 00:43:31 +02:00

78 KiB

Raw Blame History

View Raw