mirror of
https://github.com/dense-analysis/ale.git
synced 2026-04-29 10:34:34 +08:00
143074a780
Rename GetOptions to GetInitializationOptions for consistency.