doc-interne: commenté encore un peu plus
This commit is contained in:
parent
c4153bfd23
commit
b1c129da62
1 changed files with 2 additions and 1 deletions
|
@ -58,13 +58,14 @@
|
|||
sans clé ssh — du moins, il y a une magouille dans le Makefile qui
|
||||
essaie de faire en sorte que ça marche (mais elle ne marche pas,
|
||||
méthode à éviter pour le moment donc).
|
||||
</p>-->
|
||||
</p>
|
||||
|
||||
<p>
|
||||
On peut aussi (ce n'est guère utile qu'aux gens qui n'ont plus de
|
||||
compte clipper) cloner le dépôt git sur le compte <code>tuteurs</code>
|
||||
lui-même, par exemple dans <code>tmp/moi</code>.
|
||||
</p>
|
||||
-->
|
||||
|
||||
<div class="attention">
|
||||
<p>
|
||||
|
|
Loading…
Reference in a new issue