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

Remove bold formatting from Java constants #16

Closed
arcticicestudio opened this issue Oct 3, 2017 · 0 comments
Closed

Remove bold formatting from Java constants #16

arcticicestudio opened this issue Oct 3, 2017 · 0 comments
Labels
Hacktoberfest This repository participates in the Hacktoberfest type-improvement
Milestone
0.3.0

Comments

@arcticicestudio
Copy link
Contributor

Java constants should not be formatted bold by default for better legibility.
@arcticicestudio arcticicestudio added Hacktoberfest This repository participates in the Hacktoberfest type-improvement Java labels Oct 3, 2017
@arcticicestudio arcticicestudio added this to the 0.3.0 milestone Oct 3, 2017
@arcticicestudio arcticicestudio self-assigned this Oct 3, 2017
arcticicestudio added a commit that referenced this issue Oct 3, 2017
@arcticicestudio
Remove bold formatting from Java constants
80f038c 
This should not be applied by default for better legibility.

GH-16
@arcticicestudio arcticicestudio mentioned this issue Oct 3, 2017
Merged
arcticicestudio added a commit that referenced this issue Oct 3, 2017
@arcticicestudio
Merge pull request #21 from arcticicestudio/improvement/gh-16-remove-…
586d664 
…bold-formatting-from-java-constants

Remove bold formatting from Java constants
@arcticicestudio arcticicestudio removed their assignment Oct 5, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Hacktoberfest This repository participates in the Hacktoberfest type-improvement
Projects
None yet
Milestone
0.3.0
Development

No branches or pull requests
1 participant
@arcticicestudio