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

Documentation is needed #8

Closed

dmpetrov opened this issue Apr 3, 2017 · 0 comments

Assignees

Labels

Milestone

Member

dmpetrov commented Apr 3, 2017

What documentation format we should choose? Should we host the docs in the github or outside?

dmpetrov self-assigned this

dmpetrov added the enhancement label

dmpetrov added this to the beta-release milestone

dmpetrov closed this as completed

pmrowla mentioned this issue

exp show: customize rich table rendering behavior #5381

Merged

3 tasks

dberenbaum mentioned this issue

Make exp push smoother in CI #9612

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment