Sign in
googlers
/
jrn
/
git
/
53ef17d3ee0f7fcb151f428ee3bd736b8046825f
/
.
/
mergetools
/
diffuse
blob: 5a3ae8b5695d3141ff0310a706495ea52037b464 [
file
] [
log
] [
blame
]
diff_cmd
()
{
"$merge_tool_path"
"$LOCAL"
"$REMOTE"
|
cat
}
merge_cmd
()
{
if
$base_present
then
"$merge_tool_path"
\
"$LOCAL"
"$MERGED"
"$REMOTE"
\
"$BASE"
|
cat
else
"$merge_tool_path"
\
"$LOCAL"
"$MERGED"
"$REMOTE"
|
cat
fi
}