Skip to content

Fix diff highlighting of removed lines starting with -- and added lines starting with ++#877

Merged
jonas merged 5 commits intojonas:masterfrom koutcher:masterJan 11, 2019