Files
terminal/doc
Leonard Hecker 856f8764ce Fix compatibility issues with profiles.schema.json (#11360)
This fixes two issues with profiles.schema.json:
* The `$schema` should not end in a `#`
* `$defs` is the official reserved keyword for schema re-use

See: http://json-schema.org/draft/2020-12/json-schema-core.html

## PR Checklist
* [x] I work here
* [x] Tests added/passed
* [x] Schema updated

## Validation Steps Performed

The previous schema didn't pass https://jschon.dev/, the new schema does.
2021-09-29 05:23:38 -05:00
..
2020-11-13 09:45:08 -08:00
2021-09-23 10:58:31 -07:00
2020-12-17 15:12:36 -08:00
2021-04-30 13:09:22 +00:00
2021-09-27 10:23:28 -05:00
2021-06-14 10:06:01 -07:00