Skip to content

Conversation

jakirkham
Copy link
Member

We already got rid of the docker image. So we don't need this.

@minrk minrk merged commit 736f35d into jupyter:master Jul 27, 2016
@minrk minrk added this to the 5.0 milestone Jul 27, 2016
@jakirkham jakirkham deleted the remove_dockerignore branch July 27, 2016 14:08
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 13, 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.

2 participants