Skip to content

Update heading tag in javadoc to use correct heading order#492

Merged
Michael1142 merged 2 commits intomasterfrom
update-javadoc
Jan 12, 2024
Merged

Update heading tag in javadoc to use correct heading order#492
Michael1142 merged 2 commits intomasterfrom
update-javadoc

Conversation

@Michael1142
Copy link
Copy Markdown
Contributor

@Michael1142 Michael1142 commented Jan 12, 2024

Update heading tag in javadoc to use correct heading order

@Michael1142 Michael1142 enabled auto-merge (squash) January 12, 2024 11:09
@Michael1142 Michael1142 merged commit 4990c15 into master Jan 12, 2024
@Michael1142 Michael1142 deleted the update-javadoc branch January 12, 2024 12:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants