diff options
| -rwxr-xr-x | src/tools/publish_toolstate.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 1539c2e2578..c794e169fca 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -14,7 +14,6 @@ import sys import re import json -import copy import datetime import collections import textwrap |