diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-12-14 11:01:00 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-12-14 11:01:00 +0100 |
commit | 91efee4f443830019d92afec1b275bd9c3695f6f (patch) | |
tree | 8e8251e8e232bb7f2820a17d4f1b5516afa2a826 /about.html | |
parent | 888dd248ee3e1f0d42a50a4d53052469adc791c3 (diff) | |
download | courses-91efee4f443830019d92afec1b275bd9c3695f6f.tar.gz |
updated git clone url
Diffstat (limited to 'about.html')
-rw-r--r-- | about.html | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -30,7 +30,7 @@ | |||
30 | <h2 id="utilisation-de-la-ligne-de-commande">Utilisation de la ligne de commande</h2> | 30 | <h2 id="utilisation-de-la-ligne-de-commande">Utilisation de la ligne de commande</h2> |
31 | <p>Veuillez vous référer à <a href="https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande">cette page de notre wiki</a>.</p> | 31 | <p>Veuillez vous référer à <a href="https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande">cette page de notre wiki</a>.</p> |
32 | <h4 id="cloner-ce-dépôt-git">Cloner ce dépôt git</h4> | 32 | <h4 id="cloner-ce-dépôt-git">Cloner ce dépôt git</h4> |
33 | <pre><code>git clone https://notabug.org/ralessi/courses.git</code></pre> | 33 | <pre><code>git clone https://gitlab.com/ralessi/courses.git</code></pre> |
34 | <h4 id="compiler-les-fichiers">Compiler les fichiers</h4> | 34 | <h4 id="compiler-les-fichiers">Compiler les fichiers</h4> |
35 | <pre><code>make</code></pre> | 35 | <pre><code>make</code></pre> |
36 | <h4 id="revenir-à-la-version-initiale">Revenir à la version initiale</h4> | 36 | <h4 id="revenir-à-la-version-initiale">Revenir à la version initiale</h4> |