Skip to content

sync(provider): pull from indent core#4

Merged
tschuy merged 2 commits into
mainfrom
66DA64F8B991686137E7F2FF04654B1C
Jan 30, 2023
Merged

sync(provider): pull from indent core#4
tschuy merged 2 commits into
mainfrom
66DA64F8B991686137E7F2FF04654B1C

Conversation

@indent-bot
Copy link
Copy Markdown
Contributor

sync(provider): pull from indent core

indent-bot and others added 2 commits January 30, 2023 18:16
GitOrigin-RevId: d246b3dba4bcae270640c4655f47e2d35e72b0f1
@tschuy tschuy merged commit b88eddc into main Jan 30, 2023
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