Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Ceci est une ancienne révision du document !
On se place dans le dossier du projet
git add .
le “.” est important
git commit -m "je laisse un message aux topains"
git push
git pull