diff options
| -rwxr-xr-x | plugins/externaltools/tools/library.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/externaltools/tools/library.py b/plugins/externaltools/tools/library.py index ed66e268..0eb4e123 100755 --- a/plugins/externaltools/tools/library.py +++ b/plugins/externaltools/tools/library.py @@ -197,7 +197,7 @@ class ToolDirectory(object): class Tool(object): - RE_KEY = re.compile('^([a-zA-Z_][a-zA-Z0-9_.\-]*)(\[([a-zA-Z_@]+)\])?$') + RE_KEY = re.compile(r'^([a-zA-Z_][a-zA-Z0-9_.\-]*)(\[([a-zA-Z_@]+)\])?$') def __init__(self, parent, filename=None): super(Tool, self).__init__() |