##// END OF EJS Templates
Merge pull request #6936 from minrk/profile-dir...
Merge pull request #6936 from minrk/profile-dir Don't specify profile-dir for kernels
Matthias Bussonnier -
r20893:1d5c51bb merge
Show More