diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-12-10 10:06:00 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-12-10 10:06:00 +0100 |
commit | 94118b7c5c723bf62dcdafd404d492e8d78d0019 (patch) | |
tree | b31903684fd1c73e24c4fb2e2b91de6b75c66d68 /src/python/doc | |
parent | 4391bf38f14f483b9032e3eaf99f315f2f053026 (diff) |
Remove useless import
Diffstat (limited to 'src/python/doc')
-rwxr-xr-x | src/python/doc/python3-sphinx-build.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/python/doc/python3-sphinx-build.py b/src/python/doc/python3-sphinx-build.py index d1f0f08e..84d158cf 100755 --- a/src/python/doc/python3-sphinx-build.py +++ b/src/python/doc/python3-sphinx-build.py @@ -5,7 +5,6 @@ Emulate sphinx-build for python3 """ from sys import exit, argv -import sphinx from sphinx import main if __name__ == '__main__': |