1 Commits (44efc2a1315efe90eb2edc7a24b1372382222408)

Author SHA1 Message Date
Marco Pesenti Gritti 652df4bf51 Remove env.get_shell_dir(), use config 17 years ago