From 0aa061f6f89e6ac22234dac866a975b64ad3abaa Mon Sep 17 00:00:00 2001 From: Ben Boeckel Date: Wed, 3 Jun 2020 11:27:02 -0400 Subject: Sphinx/create_identifiers: remove unused import --- Utilities/Sphinx/create_identifiers.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Utilities/Sphinx/create_identifiers.py b/Utilities/Sphinx/create_identifiers.py index b5cd914..120b63d 100755 --- a/Utilities/Sphinx/create_identifiers.py +++ b/Utilities/Sphinx/create_identifiers.py @@ -1,6 +1,6 @@ #!/usr/bin/env python -import sys, os +import sys if len(sys.argv) != 2: sys.exit(-1) -- cgit v0.12