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 | |
parent | 888dd248ee3e1f0d42a50a4d53052469adc791c3 (diff) | |
download | courses-91efee4f443830019d92afec1b275bd9c3695f6f.tar.gz |
updated git clone url
-rw-r--r-- | README.md | 2 | ||||
-rw-r--r-- | README.tex | 2 | ||||
-rw-r--r-- | about.html | 2 |
3 files changed, 3 insertions, 3 deletions
@@ -42,7 +42,7 @@ wiki](https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-li | |||
42 | 42 | ||
43 | #### Cloner ce dépôt git | 43 | #### Cloner ce dépôt git |
44 | 44 | ||
45 | git clone https://notabug.org/ralessi/courses.git | 45 | git clone https://gitlab.com/ralessi/courses.git |
46 | 46 | ||
47 | #### Compiler les fichiers | 47 | #### Compiler les fichiers |
48 | 48 | ||
@@ -41,7 +41,7 @@ Veuillez vous référer à | |||
41 | 41 | ||
42 | \paragraph{Cloner ce dépôt git} | 42 | \paragraph{Cloner ce dépôt git} |
43 | \begin{verbatim} | 43 | \begin{verbatim} |
44 | git clone https://notabug.org/ralessi/courses.git | 44 | git clone https://gitlab.com/ralessi/courses.git |
45 | \end{verbatim} | 45 | \end{verbatim} |
46 | 46 | ||
47 | \paragraph{Compiler les fichiers} | 47 | \paragraph{Compiler les fichiers} |
@@ -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> |