##// END OF EJS Templates
Merge pull request #7537 from jasongrout/nbextension-custom-dest...
Merge pull request #7537 from jasongrout/nbextension-custom-dest Configurable destinations for nbextensions.
Thomas Kluyver -
r20179:7612361b merge
Show More