diff options
| author | Jack Lloyd <[email protected]> | 2017-09-19 19:50:13 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-09-19 19:50:13 -0400 |
| commit | 1fc32b718bc65a9ff0bcb0606d39c4ed69185943 (patch) | |
| tree | 566daec07c4b7894e5c049130dc8922859c80735 /src | |
| parent | 2fdd4577989e259874cf49952d96ab02d3c5b690 (diff) | |
Handle : (as appears in 'git:revid')
Diffstat (limited to 'src')
| -rw-r--r-- | src/configs/sphinx/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/configs/sphinx/conf.py b/src/configs/sphinx/conf.py index 7d968f21b..289a0eb1a 100644 --- a/src/configs/sphinx/conf.py +++ b/src/configs/sphinx/conf.py @@ -18,7 +18,7 @@ def check_for_tag(tag): def parse_version_file(version_path): version_file = open(version_path) - key_and_val = re.compile(r"([a-z_]+) = ([a-zA-Z0-9\']+)") + key_and_val = re.compile(r"([a-z_]+) = ([a-zA-Z0-9:\']+)") results = {} for line in version_file.readlines(): |