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

cosmetic fixes #78

Merged
merged 1 commit into from
Feb 3, 2014
Merged

cosmetic fixes #78

merged 1 commit into from
Feb 3, 2014

Conversation

ssim
Copy link
Contributor

@ssim ssim commented Feb 3, 2014

cosmetic fixed to labels in the gui / documentation

@ssim
Copy link
Contributor Author

ssim commented Feb 3, 2014

@wkerzendorf
If you are happy, please confirm and merge this into the master. The changes here are purely cosmetic - mostly names of things in the gui. Travis checks are running now.

@wkerzendorf
Copy link
Member

@ssim sounds good - merging

wkerzendorf added a commit that referenced this pull request Feb 3, 2014
@wkerzendorf
Merge pull request #78 from tardis-sn/docs-edit
a7484f6 
cosmetic fixes
@wkerzendorf wkerzendorf merged commit a7484f6 into master Feb 3, 2014
@wkerzendorf wkerzendorf deleted the docs-edit branch February 3, 2014 19:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@ssim @wkerzendorf