Skip to content

Make terminals_available false if key is not in settings dict yet#261

Merged
RRosio merged 1 commit intojupyter:mainfrom RRosio:settings_keyAug 11, 2023

Commits

Commits on Aug 10, 2023