##// 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