#241 PR merged: Fix standard output and small cosmetic changes to diff logging¶

dagwieers opened issue at 2013-06-07 23:16:¶

---

[Export of Github issue for rear/rear.]