diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-03-29 14:24:36 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-03-29 14:25:05 +0200 |
| commit | 082e26c08bb0a803cf9cf6b015c08ee57f31e623 (patch) | |
| tree | 951b231ab1a2e423b68ed2b85610d037127735dd | |
| parent | 624bee96597c1d59018e58131b8285c0b332700d (diff) | |
| parent | 05120ee755f03582c77109eb4f109b68515337f1 (diff) | |
Merge #12821: contrib: Remove unused import string
05120ee contrib: Remove unused import string (MarcoFalke)
Pull request description:
Tiny oversight in #11881, that broke travis.
Tree-SHA512: 805c31cbbd74cf0a6c71bf1a7989c3ff1d179e24d434b70de307f20ddf358f6db8c2e08aa46dcaf2c75a44ae571b1dcf5ba15184be81680e19a13ad5a23a0991
| -rwxr-xr-x | contrib/devtools/clang-format-diff.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/devtools/clang-format-diff.py b/contrib/devtools/clang-format-diff.py index ca1bd8854f..5402870fba 100755 --- a/contrib/devtools/clang-format-diff.py +++ b/contrib/devtools/clang-format-diff.py @@ -71,7 +71,6 @@ import argparse import difflib import io import re -import string import subprocess import sys |