From cd82a67b8daf483c056d91ce3a2f00301777f8c2 Mon Sep 17 00:00:00 2001
From: Philippe Dosch <Philippe.Dosch@loria.fr>
Date: Wed, 15 Jan 2014 17:09:16 +0100
Subject: [PATCH] Minor fixes
---
branchmerge.tex | 14 ++++++++------
1 file changed, 8 insertions(+), 6 deletions(-)
diff --git a/branchmerge.tex b/branchmerge.tex
index db26b3f..d51ac8d 100644
--- a/branchmerge.tex
+++ b/branchmerge.tex
@@ -76,9 +76,11 @@
\frame{\frametitle{Exemple de fusion avec \ext{merge}}
\framesubtitle{Avant la fusion}
\includegraphics[scale=.37]{beforemerge.eps}\\
- \mygitplus{git checkout master}\\
- \mygitplus{git merge nouveau}\\
-% \mygit{git branch}{gitbranch3.txt}
+ \begin{codebox}
+ \mygitplus{git checkout master}\\
+ \mygitplus{git merge nouveau}\\
+ % \mygit{git branch}{gitbranch3.txt}
+ \end{codebox}
}
%======================================================================
@@ -86,7 +88,7 @@
\frame{\frametitle{Exemple de fusion avec \ext{merge}}
\framesubtitle{Après la fusion}
\includegraphics[scale=.37]{aftermerge.eps}
- \vspace*{1.01cm}
+ \vspace*{1.5cm}
}
%======================================================================
@@ -95,8 +97,8 @@
\begin{itemize}
\item
Pour réaliser la fusion, Git repose, en interne, sur la
- disponibilité de 3 algorithmes choisis suivant la configuration de
- départ
+ disponibilité de plusieurs algorithmes choisis suivant la
+ configuration de départ
\item
Suivant les cas, une fusion peut occasionner
\begin{itemize}
--
GitLab