diff options
Diffstat (limited to 'Tools/scripts/diff.py')
| -rwxr-xr-x | Tools/scripts/diff.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/diff.py b/Tools/scripts/diff.py index 9720a43155..96199b8511 100755 --- a/Tools/scripts/diff.py +++ b/Tools/scripts/diff.py @@ -8,7 +8,7 @@ """ -import sys, os, time, difflib, argparse +import sys, os, difflib, argparse from datetime import datetime, timezone def file_mtime(path): |