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.
This commit is contained in:
Rasmus Wriedt Larsen
2022-09-29 18:00:30 +02:00
parent 9b03e1c0b1
commit ea27f4e20f
7 changed files with 2 additions and 7 deletions

View File

@@ -1 +0,0 @@
semmle-extractor-options: --max-import-depth=2 -p ../lib