Dépôt de fichiers personnels provenant de machines virtuelles utilisées en TP.

Ce Gitea contient aussi un script d'automatisation du processus de push et de pull, adaptés aux deux branches.

Dépôt anciennement privé, devenu public le 16 Septembre 2024.