repo.or.cz
/
git
/
debian.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
commit-graph: use chunk-format write API
[git/debian.git]
/
mergetools
/
diffmerge
blob
9b6355b98a71da2627b68c6543cea4f2515b8d54
1
diff_cmd () {
2
"$merge_tool_path" "$LOCAL" "$REMOTE" >/dev/null 2>&1
3
}
4
5
merge_cmd () {
6
if $base_present
7
then
8
"$merge_tool_path" --merge --result="$MERGED" \
9
"$LOCAL" "$BASE" "$REMOTE"
10
else
11
"$merge_tool_path" --merge \
12
--result="$MERGED" "$LOCAL" "$REMOTE"
13
fi
14
}
15
16
exit_code_trustable () {
17
true
18
}