Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add quick links to docs and examples to top of editor #163

Closed
marks opened this issue Jan 23, 2016 · 1 comment
Closed

Add quick links to docs and examples to top of editor #163

marks opened this issue Jan 23, 2016 · 1 comment

Comments

@marks
Copy link
Collaborator

marks commented Jan 23, 2016

No description provided.

marks pushed a commit to marks/vizwit that referenced this issue Jan 23, 2016
timwis#163 adds quick links to top of editor
73df740
@marks marks mentioned this issue Jan 23, 2016
Merged
timwis added a commit that referenced this issue Jan 24, 2016
@timwis
Merge pull request #164 from marks/add-docs-to-editor
3d059ee 
#163 adds quick links to top of editor
@marks
Copy link
Collaborator Author

marks commented Feb 20, 2016

This was merged in so I'm closing this

@marks marks closed this as completed Feb 20, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@marks