##// END OF EJS Templates
Merge pull request #4738 from minrk/no-user-help...
Merge pull request #4738 from minrk/no-user-help don't inject help into user_ns
Thomas Kluyver -
r13950:b4e9b2b9 merge
Show More