mirror of
https://github.com/micropython/micropython.git
synced 2026-05-03 06:10:14 +02:00
b4790afdaf
Makes it easier to access them without passing around another dict of the config values.