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.

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

Feature/1403 tern rename #1590

Merged
merged 2 commits into from Jun 20, 2014
Merged

Feature/1403 tern rename #1590

merged 2 commits into from Jun 20, 2014

Conversation

electricg
Copy link
Member

See #1403 for animated screenshot

remy added a commit that referenced this pull request Jun 20, 2014
@remy remy merged commit 9ad7bf2 into master Jun 20, 2014
@remy remy deleted the feature/1403-tern-rename branch June 20, 2014 13:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants