Skip to content

Conversation

IanDelMar
Copy link
Contributor

@IanDelMar IanDelMar commented Oct 2, 2024

Improves removal of unused comments by stripping out all comments that do not start with /**.

Co-authored-by: Viktor Szépe <[email protected]>
@szepeviktor
Copy link
Member

Thank you, Ian.

@szepeviktor szepeviktor merged commit 45aae72 into php-stubs:master Oct 2, 2024
5 checks passed
@IanDelMar IanDelMar deleted the unused-comments branch October 2, 2024 14:44
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.

2 participants