diff options
Diffstat (limited to 'about.html')
-rw-r--r-- | about.html | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -34,7 +34,7 @@ commande</h2> | |||
34 | href="https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande">cette | 34 | href="https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande">cette |
35 | page de notre wiki</a>.</p> | 35 | page de notre wiki</a>.</p> |
36 | <h4 id="cloner-ce-dépôt-git">Cloner ce dépôt git</h4> | 36 | <h4 id="cloner-ce-dépôt-git">Cloner ce dépôt git</h4> |
37 | <pre><code>git clone https://gitlab.com/ralessi/courses.git</code></pre> | 37 | <pre><code>git clone https://git.robertalessi.net/courses</code></pre> |
38 | <h4 id="compiler-les-fichiers">Compiler les fichiers</h4> | 38 | <h4 id="compiler-les-fichiers">Compiler les fichiers</h4> |
39 | <pre><code>make</code></pre> | 39 | <pre><code>make</code></pre> |
40 | <h4 id="revenir-à-la-version-initiale">Revenir à la version | 40 | <h4 id="revenir-à-la-version-initiale">Revenir à la version |