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

Comments overhaul #314

Merged
merged 4 commits into from
Jun 26, 2020
Merged

Conversation

henriquebecker91
Copy link
Contributor

Added comment asked by @blegat. Fixed comment on the negativity/positivity of reduced costs. Added a global const union for a common union. Changed the linebreaks of many comments in an effort to keep them close to 80 characters. Other minor changes.

…ivity of reduced costs. Added a global const union for a common union. Changed the linebreaks of many comments in an effort to keep them close to 80 characters. Other minor changes.
src/MOI_wrapper.jl Outdated Show resolved Hide resolved
@henriquebecker91
Copy link
Contributor Author

@odow, I have merged master with this PR. It does not change any behavior, it just improves comments and line breaking. It had conflicts because of changes introduced by my other PR (that solved the buffering bug). Some changes were too close to a comment I changed (or replaced the comment with a more appropriate one), no "real" conflict.

@odow
Copy link
Member

odow commented Jun 24, 2020

Screenshot of tests passing?

@henriquebecker91
Copy link
Contributor Author

2020-06-26-15-23-49-1920x1080.png

@odow odow merged commit 320fc27 into jump-dev:master Jun 26, 2020
@odow
Copy link
Member

odow commented Jun 26, 2020

Thanks

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

Successfully merging this pull request may close these issues.

3 participants