Files
Rasmus Wriedt Larsen ea27f4e20f 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.
2022-09-29 18:05:51 +02:00

2 lines
56 B
Plaintext

semmle-extractor-options: --max-import-depth=2 --lang=3