codeql icon indicating copy to clipboard operation
codeql copied to clipboard

Python: Remove last `-p ../lib/` in `options` files

Open RasmusWL opened this issue 3 years ago • 0 comments

These were only needed for points-to.

If they only contained --max-import-depth, I've removed the options file entirely.

RasmusWL avatar Sep 29 '22 16:09 RasmusWL