diff options
| author | practicalswift <practicalswift@users.noreply.github.com> | 2017-05-02 21:12:36 +0200 |
|---|---|---|
| committer | practicalswift <practicalswift@users.noreply.github.com> | 2017-05-02 21:12:36 +0200 |
| commit | 0c60c63de0b6306b586727bb327d00549de4abe8 (patch) | |
| tree | aefd16ff048c9291be7858efb5e75c308a233678 /contrib | |
| parent | 75171f099e82e3527d7c3469b15891bd92227ec2 (diff) | |
Remove unused Python imports
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/devtools/github-merge.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/github-merge.py b/contrib/devtools/github-merge.py index 03ccf5b624..8fce648fc2 100755 --- a/contrib/devtools/github-merge.py +++ b/contrib/devtools/github-merge.py @@ -15,7 +15,7 @@ # In case of a clean merge that is accepted by the user, the local branch with # name $BRANCH is overwritten with the merged result, and optionally pushed. from __future__ import division,print_function,unicode_literals -import os,sys +import os from sys import stdin,stdout,stderr import argparse import hashlib |