diff options
author | Simon Warta <[email protected]> | 2017-01-09 23:19:10 +0100 |
---|---|---|
committer | Simon Warta <[email protected]> | 2017-01-11 12:32:03 +0100 |
commit | b9cd6a729037cb60d6e168660a9ff22039a0a28f (patch) | |
tree | 53680ed52e3238537a7a4efa8b00f951dce93352 | |
parent | 859902a215ced4182e3d04e7b978678276fc3b31 (diff) |
Resolve lint issues: deprecated-module
-rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 84ad37e52..f0a2ab619 100755 --- a/configure.py +++ b/configure.py @@ -32,7 +32,7 @@ import traceback import logging import time import errno -import optparse +import optparse # pylint: disable=deprecated-module import botan_version |