renamed to tibi-types

This commit is contained in:
2022-02-26 10:43:52 +01:00
parent 39da9c02fc
commit dddd5229d5
9 changed files with 20 additions and 20 deletions

View File

@@ -1,7 +1,7 @@
{
"$schema": "http://json-schema.org/draft-07/schema#",
"title": "JSON Schema WMBasic collection configuration",
"description": "WMBasic collection linter",
"title": "JSON Schema tibi-server collection configuration",
"description": "tibi-server collection linter",
"type": "object",
"additionalProperties": false,
"properties": {