Skip to content

show an error message when the kernel is dead#279

Merged
minrk merged 1 commit intojupyter-book:masterfrom akhmerov:detect-dead-kernelOct 19, 2020

Commits

Commits on Oct 19, 2020