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

Remove HilightColor from manual page. #1039

Merged
merged 1 commit into from
Jun 28, 2024

Conversation

somiaj
Copy link
Collaborator

@somiaj somiaj commented Jun 28, 2024

The command is obsoleted and the style options it suggested no longer exist, so this can confuse users.

The command is obsoleted and the style options it suggested no longer
exist, so this can confuse users.
@ThomasAdam ThomasAdam merged commit edc53b3 into main Jun 28, 2024
5 checks passed
@ThomasAdam ThomasAdam deleted the js/manpage-remove-hilightcolor branch June 28, 2024 14:03
@ThomasAdam ThomasAdam added the area:doc Relates to documentation only label Jun 28, 2024
@ThomasAdam ThomasAdam added this to the 1.1.1 milestone Jun 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:doc Relates to documentation only
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants