[PATCH] documentation fix: git difftool uses diff tools, not merge tools.
From: Thomas Hochstein <hidden>
Date: 2016-06-15 22:52:28
Subsystem:
documentation, the rest · Maintainers:
Jonathan Corbet, Linus Torvalds
From: Thomas Hochstein <hidden>
Date: 2016-06-15 22:52:28
Subsystem:
documentation, the rest · Maintainers:
Jonathan Corbet, Linus Torvalds