diff options
author | jaseg <git-bigdata-wsl-arch@jaseg.de> | 2021-07-12 14:25:35 +0200 |
---|---|---|
committer | jaseg <git-bigdata-wsl-arch@jaseg.de> | 2021-07-12 14:25:35 +0200 |
commit | 76a12a1b9f8ac848680bb9ff3b459a717aa04c58 (patch) | |
tree | 27538b0d0cd358753dc6e4c5c79c81b48d07269a /paper/diffinator.py | |
parent | 4019ad514b68e44951b0a1d31316e26877467175 (diff) | |
download | ihsm-76a12a1b9f8ac848680bb9ff3b459a717aa04c58.tar.gz ihsm-76a12a1b9f8ac848680bb9ff3b459a717aa04c58.tar.bz2 ihsm-76a12a1b9f8ac848680bb9ff3b459a717aa04c58.zip |
Prettify diff
Diffstat (limited to 'paper/diffinator.py')
-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 2972d47..ad3b2fb 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: |