Tobias Hößl 8650bc0401 Inline-Diff works when the first word in a paragraph is being replaced - fixes #3401		2017-09-18 11:05:00 +02:00
..
motions	Inline-Diff works when the first word in a paragraph is being replaced - fixes #3401	2017-09-18 11:05:00 +02:00