diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2023-10-29 16:01:54 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2023-10-29 16:01:54 +0100 |
| commit | 0517db94067b9bcda06260c7152dc5fa51a2a9b4 (patch) | |
| tree | f0e0ffdcddfd2313ea19de449bc358e87ff3cde1 /about.html | |
| parent | c23705d1590d39015eb5d9f5c6e8fae7d30f6e64 (diff) | |
| download | courses-0517db94067b9bcda06260c7152dc5fa51a2a9b4.tar.gz | |
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 |