Norman Jäckel cd105f2271 Merge pull request #3132 from CatoTH/pdf-inline-diff-remove-extra-spaces ... Remove erroneous margin around inline diff paragraphs in PDF		2017-03-23 00:27:27 +01:00
..
core	Merge pull request #3132 from CatoTH/pdf-inline-diff-remove-extra-spaces	2017-03-23 00:27:27 +01:00