Skip to content
New issue

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

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

Already on GitHub? # to your account

Open DevTools for active server #136

Merged
merged 1 commit into from
Mar 5, 2016
Merged

Open DevTools for active server #136

merged 1 commit into from
Mar 5, 2016

Conversation

rodrigok
Copy link
Member

@rodrigok rodrigok commented Mar 5, 2016

Closes #133

@rodrigok rodrigok added this to the v1.2.0 milestone Mar 5, 2016
rodrigok added a commit that referenced this pull request Mar 5, 2016
@rodrigok rodrigok merged commit 6508a1c into develop Mar 5, 2016
@rodrigok rodrigok deleted the improvements/devtools branch March 5, 2016 13:21
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant