diff options
Diffstat (limited to 'base/java-tools')
| -rw-r--r-- | base/java-tools/bin/pki | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/base/java-tools/bin/pki b/base/java-tools/bin/pki index 26fad16b1..0bba06efb 100644 --- a/base/java-tools/bin/pki +++ b/base/java-tools/bin/pki @@ -19,7 +19,6 @@ # All rights reserved. # -import os import shlex import subprocess import sys @@ -109,6 +108,7 @@ def run_java_cli(args): exit(rv) +# pylint: disable=W0613 def run_python_cli(args): raise Exception('Not implemented') |