diff options
| author | jaseg <git-bigdata-wsl-arch@jaseg.de> | 2021-07-12 14:29:35 +0200 |
|---|---|---|
| committer | jaseg <git-bigdata-wsl-arch@jaseg.de> | 2021-07-12 14:29:35 +0200 |
| commit | 69fd5c21a2ac3e953114191ad2660379db88fd44 (patch) | |
| tree | 721016684a8929a1c885c27629a170a01f3cd8d4 | |
| parent | 76a12a1b9f8ac848680bb9ff3b459a717aa04c58 (diff) | |
| download | ihsm-69fd5c21a2ac3e953114191ad2660379db88fd44.tar.gz ihsm-69fd5c21a2ac3e953114191ad2660379db88fd44.tar.bz2 ihsm-69fd5c21a2ac3e953114191ad2660379db88fd44.zip | |
diff: Fix spacing issue
| -rw-r--r-- | paper/diffinator.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/paper/diffinator.py b/paper/diffinator.py index ad3b2fb..5c26d35 100644 --- a/paper/diffinator.py +++ b/paper/diffinator.py @@ -57,8 +57,8 @@ def generate_git_tex_diff(texfile, bibliography, revision): line = line.rstrip() if document_started: # diff results in preamble - line = addition_re.sub(r'\\color{diffgreen}\1 \\color{black}', line) - line = deletion_re.sub(r'\\color{diffred}\1 \\color{black}', line) + line = addition_re.sub(r' \\color{diffgreen}\1 \\color{black}', line) + line = deletion_re.sub(r' \\color{diffred}\1 \\color{black}', line) else: if '\\begin{document}' in line: |