diff options
| author | Thomas Ackermann <th.acker@arcor.de> | 2012-12-19 22:15:25 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-12-19 22:24:23 +0400 |
| commit | 18499ba694711c02a5bc729b7f8e362dd760b10a (patch) | |
| tree | fa3d38e359ec260d0333ba8034f126286d730f7a /mergetools | |
| parent | 252f922b1919db3bcfdc07bbedff7d3c42172959 (diff) | |
Remove duplicate entry in ./Documentation/Makefile
Signed-off-by: Thomas Ackermann <th.acker@arcor.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'mergetools')
0 files changed, 0 insertions, 0 deletions