diff options
author | Roman Melnikov | 2023-09-18 11:24:41 +0200 |
---|---|---|
committer | GitHub | 2023-09-18 11:24:41 +0200 |
commit | 57d5071e60c1318ec27eb987f96504ce3d58cb34 (patch) | |
tree | 797b4b52bb76922cd81f2ef00115084c9c11ef97 /.gitignore | |
parent | 31c32fb2959103a796e07bbe47e0a5e287c343a8 (diff) | |
parent | b5625de9c918d4ea318627fc1a18943ac8c1e1b1 (diff) |
Merge pull request #234 from fd/master
Replace jsonschema-cli with check-jsonschema
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions