bugscpp.config.config

Interface of env.py.

All the modifiable settings should be accessed via ‘config’ instead of using env.py directly.