Skip to content
This repository has been archived by the owner on Feb 8, 2018. It is now read-only.

fold explore down #3707

Merged
merged 3 commits into from
Aug 22, 2015
Merged

fold explore down #3707

merged 3 commits into from
Aug 22, 2015

Conversation

chadwhitacre
Copy link
Contributor

Closes #3703.

@chadwhitacre chadwhitacre added this to the Pivot milestone Aug 21, 2015
chadwhitacre added a commit that referenced this pull request Aug 22, 2015
@chadwhitacre chadwhitacre merged commit ed5b69a into master Aug 22, 2015
@chadwhitacre chadwhitacre deleted the fold-explore-down branch August 22, 2015 12:30
chadwhitacre added a commit that referenced this pull request Aug 26, 2015
Not using it anymore since #3707.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant