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

View source #68

Merged

pgiraud merged 1 commit into master from view-source

Oct 7, 2019

Member

pgiraud commented Oct 7, 2019

No description provided.

pgiraud force-pushed the view-source branch 2 times, most recently from ca314a9 to 741dd3f Compare

October 7, 2019 14:35


          Allow user to display plan source

2af62f5

pgiraud force-pushed the view-source branch from 741dd3f to 2af62f5 Compare

October 7, 2019 14:37

pgiraud merged commit b853106 into master

pgiraud deleted the view-source branch

October 7, 2019 14:52

pgiraud mentioned this pull request

Give access to source plan and query #64

Closed

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

Labels

None yet