Asger Feldthaus 432a59185f Merge branch 'js/api-graph-tweaks' of github.com:asgerf/codeql into js/api-graph-tweaks

2020-11-24 14:32:28 +00:00

..

change-notes

Merge branch 'main' into jwt

2020-11-12 21:36:09 +01:00

config/suites

JS: Lower precision of ambiguous HTML ID attribute

2020-08-27 15:51:34 +01:00

documentation

Update some out of date information

2020-04-08 10:36:04 +01:00

externs

JS: Remove fake JSONType from es5.js externs

2019-08-30 18:19:19 +01:00

extractor

optimize the regexp parser

2020-11-11 21:13:11 +01:00

ql

Merge branch 'js/api-graph-tweaks' of github.com:asgerf/codeql into js/api-graph-tweaks

2020-11-24 14:32:28 +00:00

upgrades

copied updated dbscheme to upgrade folder

2020-09-04 11:55:39 +02:00