##// END OF EJS Templates
remove kernel selector from header...
remove kernel selector from header - add kernel name to indicator - float kernel logo where indicator used to be
Min RK -
r19596:5b13572a
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / services
kernels
sessions
config.js Loading ...
contents.js Loading ...