Skip to content

Conversation

takluyver
Copy link
Member

Closes gh-3446

@takluyver
Copy link
Member Author

I'll merge this tomorrow unless anyone asks for more time to review it.

@minrk minrk merged commit 70aa9a7 into jupyter:master Apr 3, 2018
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 2, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Option for removing the New->Terminal menu entry.
2 participants