Skip to content

[AutoPR resourcegraph/resource-manager] chore: jsonfmt resourcegraph#3614

Merged
AutorestCI merged 1 commit intorestapi_auto_resourcegraph/resource-managerfrom
restapi_auto_6235
Jun 10, 2019
Merged

[AutoPR resourcegraph/resource-manager] chore: jsonfmt resourcegraph#3614
AutorestCI merged 1 commit intorestapi_auto_resourcegraph/resource-managerfrom
restapi_auto_6235

Conversation

@AutorestCI
Copy link
Copy Markdown
Contributor

chore: jsonfmt resourcegraph

Ran `jsonfmt -w "specification/resourcegraph/**/*.json"`
@AutorestCI AutorestCI merged commit e89c4a5 into restapi_auto_resourcegraph/resource-manager Jun 10, 2019
@AutorestCI AutorestCI deleted the restapi_auto_6235 branch June 10, 2019 17:24
@AutorestCI
Copy link
Copy Markdown
Contributor Author

This PR has been merged into #3615

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant