Fix formatting (extra space)

progit · Sep 29, 2022 · d995b7d · d995b7d
1 parent 33e0b6d
commit d995b7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/book/02-git-basics/sections/recording-changes.asc b/book/02-git-basics/sections/recording-changes.asc
@@ -426,7 +426,7 @@ Cette action lance votre éditeur choisi.
 
 [NOTE]
 ====
- Ceci est paramétré par la variable d'environnement `EDITOR` de votre shell — habituellement vim ou Emacs, mais vous pouvez le paramétrer spécifiquement pour Git en utilisant la commande `git config --global core.editor` comme nous l'avons vu au <<ch01-getting-started#ch01-getting-started>>).(((éditeur, changer par défaut)))(((commandes git, config)))
+Ceci est paramétré par la variable d'environnement `EDITOR` de votre shell — habituellement vim ou Emacs, mais vous pouvez le paramétrer spécifiquement pour Git en utilisant la commande `git config --global core.editor` comme nous l'avons vu au <<ch01-getting-started#ch01-getting-started>>).(((éditeur, changer par défaut)))(((commandes git, config)))
 ====
 
 L'éditeur affiche le texte suivant (par exemple, ici Vim) :