diff options
| author | Christoph (Sheogorath) Kern | 2018-02-19 20:00:59 +0100 |
|---|---|---|
| committer | GitHub | 2018-02-19 20:00:59 +0100 |
| commit | 6bcc72e09004a6f350005809008c3ecf14d45c41 (patch) | |
| tree | 29fbe366cb8e1a0e39fdf81ab7857e552eb8acc6 /public/vendor/jquery-ui | |
| parent | 298d3d62bb014d62701ac570777b544bfe0b6d65 (diff) | |
| parent | faa839ed3aa6ecb5fbda3873cafc4337ef195bd3 (diff) | |
Merge pull request #735 from SISheogorath/fix/jsonlint
Use jq instead of jsonlint
Diffstat (limited to 'public/vendor/jquery-ui')
0 files changed, 0 insertions, 0 deletions