Skip to content

Use #: instead of # when needed#650

Merged
aaronayres35 merged 2 commits into
masterfrom
use-colon-in-comments
Apr 13, 2021
Merged

Use #: instead of # when needed#650
aaronayres35 merged 2 commits into
masterfrom
use-colon-in-comments

Conversation

@aaronayres35
Copy link
Copy Markdown
Contributor

closes #615

This PR simply audits the code base for public trait definitions that use # instead of #: and replaces them as needed. Note some of the modules changed here may soon be deprecated.

@aaronayres35 aaronayres35 changed the title Use #: instead of # when neeeded Use #: instead of # when needed Apr 12, 2021
Copy link
Copy Markdown
Contributor

@rahulporuri rahulporuri left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@aaronayres35 aaronayres35 merged commit ff5155f into master Apr 13, 2021
@aaronayres35 aaronayres35 deleted the use-colon-in-comments branch April 13, 2021 12:55
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.

Use #: instead of # for trait comments.

2 participants