# HG changeset patch # User Kim Alvefur # Date 1615331700 -3600 # Node ID dabd1fae0540c5a1c9cff4d40e1fc62346a8c2e6 # Parent 1d84b54ba0d7eeda021d695a6516fcf67e1387d2 util.jsonschema: Add copyright-header diff -r 1d84b54ba0d7 -r dabd1fae0540 teal-src/util/jsonschema.tl --- a/teal-src/util/jsonschema.tl Tue Mar 09 14:31:11 2021 +0100 +++ b/teal-src/util/jsonschema.tl Wed Mar 10 00:15:00 2021 +0100 @@ -1,3 +1,12 @@ +-- Copyright (C) 2021 Kim Alvefur +-- +-- This project is MIT/X11 licensed. Please see the +-- COPYING file in the source package for more information. +-- +-- Based on +-- https://json-schema.org/draft/2020-12/json-schema-core.html +-- https://json-schema.org/draft/2020-12/json-schema-validation.html +-- local record schema_t enum type_e