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

Improve style and documentation, and enforce it #156

Open
wants to merge 27 commits into
base: master
Choose a base branch
from

Conversation

JesseTG
Copy link
Contributor

@JesseTG JesseTG commented May 3, 2016

Fix #147
Fix #65

@JesseTG JesseTG added the meta label May 3, 2016
@JesseTG JesseTG added this to the Fifth Benchmark milestone May 3, 2016
@Bsabz Bsabz added this to the Final Presentation milestone May 5, 2016
@Bsabz Bsabz removed this from the Fifth Benchmark milestone May 5, 2016
@JesseTG
Copy link
Contributor Author

JesseTG commented May 5, 2016

Any objections to the general shape of this PR? (More consistent style and documentation)

Couldn't get checkstyle to enforce tabs, unfortunately. Seems it's not supported.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants