##// END OF EJS Templates
new way of loading extensions, thanks @takluyver
new way of loading extensions, thanks @takluyver
Paul Ivanov -
r5956:ec6c8067
Show More