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

Add the --color option as an alias to -Dstyle.color= #376

Closed
gnodet opened this issue Mar 15, 2021 · 0 comments
Closed

Add the --color option as an alias to -Dstyle.color= #376

gnodet opened this issue Mar 15, 2021 · 0 comments
Labels
enhancement New feature or request
Milestone
0.5.0

Comments

@gnodet
Copy link
Contributor

gnodet commented Mar 15, 2021

No description provided.

@gnodet gnodet added the enhancement New feature or request label Mar 15, 2021
@gnodet gnodet added this to the 0.5.0 milestone Mar 15, 2021
@gnodet gnodet closed this as completed in 585b5a9 Apr 28, 2021
gnodet added a commit that referenced this issue Apr 28, 2021
@gnodet
Merge pull request #404 from gnodet/i376
56a8b2d 
Add the --color option as an alias to -Dstyle.color, fixes #376
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
0.5.0
Development

No branches or pull requests
1 participant
@gnodet