diff options
Diffstat (limited to 'scripts/check_sources.py')
-rwxr-xr-x | scripts/check_sources.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/check_sources.py b/scripts/check_sources.py index 1feb1a33..26284f17 100755 --- a/scripts/check_sources.py +++ b/scripts/check_sources.py @@ -12,11 +12,12 @@ import io import os -import re import sys import getopt from os.path import join, splitext, abspath +import regex as re + checkers = {} |