codeql
codeql copied to clipboard
Python: Remove last `-p ../lib/` in `options` files
These were only needed for points-to.
If they only contained --max-import-depth, I've removed the options file entirely.