Rasmus Wriedt Larsen 047a326183 Python: Remove reference to old PR ...

These have been added to internal tracking issue instead

2020-10-21 19:53:25 +02:00

..

config/suites/lgtm

Drop: ImportAdditionalLibraries.ql

2019-06-28 15:53:07 +02:00

ql

Python: Remove reference to old PR

2020-10-21 19:53:25 +02:00

tools/recorded-call-graph-metrics

Python: Remove unnecessary comment

2020-09-07 15:06:07 +02:00

upgrades

Python: Autoformat everything using qlformat.

2020-07-07 15:43:52 +02:00