diff options
| author | Georg Brandl <georg@python.org> | 2022-10-27 07:18:16 +0200 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2022-10-27 12:15:22 +0200 |
| commit | 629c448bdcbd7ca9f5d530c0ef10fa3bcd7ccbff (patch) | |
| tree | 0d16b78a78b188e1f3ef28746b87ada37bdd804e /scripts/check_sources.py | |
| parent | cffc5df62c258ca39fc7474f7197f2df33ab014f (diff) | |
| download | pygments-git-regex.tar.gz | |
all: convert "re" to "regex"regex
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 = {} |