Rasmus Wriedt Larsen 0b6c3ff99d Python: Don't use PointsTo module name in metrics query ...

To avoid confusion with the normal PointsTo module in
python/ql/src/semmle/python/pointsto/PointsTo.qll

2020-07-13 10:46:03 +02:00

..

config/suites/lgtm

Drop: ImportAdditionalLibraries.ql

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

ql

Python: Don't use PointsTo module name in metrics query

2020-07-13 10:46:03 +02:00

upgrades

Python: Autoformat everything using qlformat.

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