##// END OF EJS Templates
Merge pull request #7148 from minrk/kernel-selector...
Merge pull request #7148 from minrk/kernel-selector remove kernel selector from header
Jonathan Frederic -
r19646:60bfa10e merge
Show More