diff: correctly disable external_diff with --no-ext-diff
[git/mjg.git] / Documentation / git-merge-one-file.txt
blob04e803d5d3362c97e92efc22bdec4fe526946c6f
1 git-merge-one-file(1)
2 =====================
4 NAME
5 ----
6 git-merge-one-file - The standard helper program to use with git-merge-index
9 SYNOPSIS
10 --------
11 [verse]
12 'git merge-one-file'
14 DESCRIPTION
15 -----------
16 This is the standard helper program to use with 'git merge-index'
17 to resolve a merge after the trivial merge done with 'git read-tree -m'.
19 GIT
20 ---
21 Part of the linkgit:git[1] suite