Skip to content

Allow multiple terminals in one notebook#7

Open
robintw wants to merge 5 commits into
adamj9431:masterfrom
robintw:allow-multiple-terminals-and-close-correctly
Open

Allow multiple terminals in one notebook#7
robintw wants to merge 5 commits into
adamj9431:masterfrom
robintw:allow-multiple-terminals-and-close-correctly

Commits

Commits on Apr 28, 2020