##// END OF EJS Templates
Don't override passed user_ns in embed()
Don't override passed user_ns in embed()
Thomas Kluyver -
r5667:46de9d32
Show More