##// END OF EJS Templates
Merge pull request #9674 from Carreau/neutral-theme...
Merge pull request #9674 from Carreau/neutral-theme Make everyone happy with a neutral colortheme by default.
Thomas Kluyver -
r22610:67ee53df merge
Show More