Merge pull request #579 from michaelpacer/shutdown_bug
fixed bug in javascript for shutting down notebookpull/583/head
commit
803808a7bf
Loading…
Reference in new issue