Skip to content

Remove needless comments - #600

Merged
yui-knk merged 1 commit into
ruby:masterfrom
yui-knk:cosme_counterexamples
Mar 10, 2025
Merged

Remove needless comments#600
yui-knk merged 1 commit into
ruby:masterfrom
yui-knk:cosme_counterexamples

Conversation

@yui-knk

@yui-knk yui-knk commented Mar 10, 2025

Copy link
Copy Markdown
Collaborator

Type declarations are written as rbs so these comments are useless anymore.

Type declarations are written as rbs so these comments are useless anymore.
@yui-knk
yui-knk merged commit 1e102bf into ruby:master Mar 10, 2025
@yui-knk
yui-knk deleted the cosme_counterexamples branch March 10, 2025 13: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.

1 participant