Skip to content

add formatting for doc-comments#401

Merged
kamadorueda merged 2 commits into
kamadorueda:mainfrom
hsjobeki:rfc/145-doc-comments
Nov 5, 2024
Merged

add formatting for doc-comments#401
kamadorueda merged 2 commits into
kamadorueda:mainfrom
hsjobeki:rfc/145-doc-comments

Conversation

@hsjobeki

@hsjobeki hsjobeki commented Sep 13, 2023

Copy link
Copy Markdown
Contributor

Adds formatting for doc-comments (/**@*/)

Fixes: #390

I'm happy to work any feedback into it.

@hsjobeki hsjobeki force-pushed the rfc/145-doc-comments branch 2 times, most recently from 4a6c39b to e78854b Compare September 13, 2023 16:53
@kamadorueda kamadorueda merged commit 264e235 into kamadorueda:main Nov 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

double-asterisk in block comment opening delimiter forced onto separate lines

2 participants