Skip to content

Grammar: Clean up punctuation config#932

Merged
zth merged 1 commit into
rescript-lang:masterfrom
DZakh:grammar-clean-up-punctuation
Feb 27, 2024
Merged

Grammar: Clean up punctuation config#932
zth merged 1 commit into
rescript-lang:masterfrom
DZakh:grammar-clean-up-punctuation

Conversation

@DZakh

@DZakh DZakh commented Feb 27, 2024

Copy link
Copy Markdown
Member

It shouldn't change anything (theoretically). It's a clean up pr to make punctuation grammar config more consistent to other fields.

@zth

zth commented Feb 27, 2024

Copy link
Copy Markdown
Member

Could you rebase? Then ready to go.

@zth

zth commented Feb 27, 2024

Copy link
Copy Markdown
Member

Sorry, a changelog too please, then ready to go.

@DZakh

DZakh commented Feb 27, 2024

Copy link
Copy Markdown
Member Author

Nothing changed, I'd say. Just moving code around

@zth zth merged commit 45f5dbe into rescript-lang:master Feb 27, 2024
aspeddro pushed a commit to aspeddro/rescript-vscode that referenced this pull request Mar 4, 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.

2 participants