Merge branch 'master' of git.hoa-project.net:Literature

hoaproject · Oct 5, 2016 · 5221527 · 5221527
2 parents e0e197d + bf9a9ca
commit 5221527
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Contributor/Fr/Guide.xyl b/Contributor/Fr/Guide.xyl
@@ -457,7 +457,7 @@ $ git commit</code></pre>
   opère. Laissez-vous guider par l'interface de Github et créez votre
   <em lang="en">pull request</em>. Une <em lang="en">pull request</em> signifie :
   vous nous demandez de « tirer » (<em lang="en">pull</em>) votre travail, en
-  d'autres termes d'inclure votre travail. Nous utilions souvent l'abréviation
+  d'autres termes d'inclure votre travail. Nous utilisons souvent l'abréviation
   PR pour <em lang="en">pull request</em>.</p>
 
   <h3 id="Rebase_when_asked" for="main-toc">Rebaser si nécessaire</h3>