Skip to content

Conversation

@flying-sheep
Copy link
Member

with everything agreed upon, this fixes #6

@takluyver
Copy link
Member

Thanks, looks good to me.

takluyver added a commit that referenced this pull request Apr 26, 2015
@takluyver takluyver merged commit 9306d1b into master Apr 26, 2015
@takluyver takluyver deleted the remove-display1 branch April 26, 2015 17:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Final discussion about design

2 participants