summaryrefslogtreecommitdiff
path: root/public/vendor/jquery-ui
diff options
context:
space:
mode:
authorChristoph (Sheogorath) Kern2018-02-19 20:00:59 +0100
committerGitHub2018-02-19 20:00:59 +0100
commit6bcc72e09004a6f350005809008c3ecf14d45c41 (patch)
tree29fbe366cb8e1a0e39fdf81ab7857e552eb8acc6 /public/vendor/jquery-ui
parent298d3d62bb014d62701ac570777b544bfe0b6d65 (diff)
parentfaa839ed3aa6ecb5fbda3873cafc4337ef195bd3 (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