Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #11918 - ehuss:sync-target-json, r=epage
Sync external-tools JSON docs. A few fields were missing from the external-tools JSON documentation.
- Loading branch information