Sign in
googlers
/
jrn
/
git
/
21bf933928c02372633b88aa6c4d9d71271d42b3
/
.
/
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
}