Skip to content

Update cpptools.json#6452

Merged
sean-mcmanus merged 2 commits into
masterfrom
seanmcm/updateCpptoolsJson
Nov 6, 2020
Merged

Update cpptools.json#6452
sean-mcmanus merged 2 commits into
masterfrom
seanmcm/updateCpptoolsJson

Conversation

@sean-mcmanus
Copy link
Copy Markdown
Contributor

This doesn't need to get into 1.1.0. I'm updating the online cpptools.json which will get downloaded.

@sean-mcmanus sean-mcmanus added this to the 1.2.0 milestone Nov 6, 2020
@sean-mcmanus sean-mcmanus requested a review from a team November 6, 2020 01:57
@sean-mcmanus sean-mcmanus merged commit 9a7fa21 into master Nov 6, 2020
@sean-mcmanus sean-mcmanus deleted the seanmcm/updateCpptoolsJson branch November 6, 2020 03:09
@github-actions github-actions Bot locked and limited conversation to collaborators Dec 21, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants