typo

oublis des prompts dans les script console minted

MOSIG_AdvancedBasic2h/git-model-computer-lab.tex

@@ -223,7 +223,7 @@ A new \texttt{pack} file (and \texttt{.idx}) is now present in the
 contents with delta. The following command allow to display the table
 of content of the pack:
 \begin{minted}{console}
-git verify-pack -v .git/objects/pack/pack-0618531a948d3537443496da7765fb4d0b4fb74f
+$ git verify-pack -v .git/objects/pack/pack-0618531a948d3537443496da7765fb4d0b4fb74f
 \end{minted}
 
 The pack contains the last value of the file and the delta to come
@@ -243,7 +243,7 @@ $ git tag v0.1
 A new file appears in the \texttt{.git/refs/tags}. Its content should
 be the same as the current HEAD:
 \begin{minted}{console}
-cat .git/refs/tags/v0.1
+$ cat .git/refs/tags/v0.1
 \end{minted}
 
 Now, move forward the \texttt{master} branch: