Skip to content

ENV_NAME defaults to 'base' in _activate_current_env.sh#366

Merged
wholtz merged 3 commits intomainfrom default_envAug 28, 2023