Skip to content
GitLab
Explorer
Connexion
S'inscrire
Combinatoire et calcul algébrique
2022-2023
Seance1
Étiquettes
Les étiquettes permettent de marquer des moments spécifiques importants dans l'historique du projet.
Le dépôt n'a pour le moment aucune étiquette.
Utilisez la commande git tag pour en ajouter une autre :
git tag -a v1.4 -m 'version 1.4'