Skip to content

Rename @Value test annotation to @ValueTypeAnno#5364

Merged
mernst merged 3 commits intotypetools:masterfrom
mernst:rename-value-annotation
Oct 13, 2022
Merged

Rename @Value test annotation to @ValueTypeAnno#5364
mernst merged 3 commits intotypetools:masterfrom
mernst:rename-value-annotation

Conversation

@mernst
Copy link
Copy Markdown
Member

@mernst mernst commented Oct 11, 2022

This eliminates the need to format all occurrences of @Value as type annotations.

@mernst mernst force-pushed the rename-value-annotation branch from f5ee61d to 037ecdd Compare October 12, 2022 00:34
@mernst mernst merged commit 206c0ca into typetools:master Oct 13, 2022
@mernst mernst deleted the rename-value-annotation branch October 13, 2022 14:03
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