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