##// END OF EJS Templates
Add kernel restart button to toolbar.
Add kernel restart button to toolbar.
Brian E. Granger -
r14866:fc7f1694
Show More