diff options
| author | Edhebi <lmasson@edhebi.info> | 2020-07-13 20:34:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-13 11:34:15 -0700 |
| commit | f4b66c5e2bea02aaa9569b5369e3af3bb0bf737c (patch) | |
| tree | b2806850e04a25fff41abd82b37828cd3fa7f167 /scripts/file_script.py | |
| parent | 8d50672e044c9025ce7a37695949f872907d80b8 (diff) | |
| download | vcpkg-f4b66c5e2bea02aaa9569b5369e3af3bb0bf737c.tar.gz vcpkg-f4b66c5e2bea02aaa9569b5369e3af3bb0bf737c.zip | |
[vcpkg] Add a schema file for vcpkg.json (#12178)
* Add a schema file for vcpkg.json
* [vcpkg.schema.json] fix $ref fields
Per json schema, having any other field in a `{ "$ref": ""}` object is invalid.
* [vcpkg.schema.json] change case to reflect usage
* [vcpkg.schema.json] check reserved names for identifiers
* [vcpkg.schema.json] add an $id field
* [vcpkg.schema.json] Apply suggestions from code review
Co-authored-by: nicole mazzuca <mazzucan@outlook.com>
* [vcpkg.schema.json] Apply suggestions from code review
Co-authored-by: nicole mazzuca <mazzucan@outlook.com>
Diffstat (limited to 'scripts/file_script.py')
0 files changed, 0 insertions, 0 deletions