Le gitlab a changé de serveur ! Il est maintenant sur gitzly. Pensez à changer votre conf ssh et le known host. La fingerprint du nouveau serveur est SHA256:StU+25vCTTs+opjyjMZTLvl+gvR+ViQWUkE1jRENnkQ en ECDSA

Mise à jours du gitlab le 27/10.

Name Last Update
..
27-simplex.pdf Loading commit data...
Jones-RapidGameDev.pdf Loading commit data...
held_karp.pdf Loading commit data...
simplexe.pdf Loading commit data...
tsp-all.tar.gz Loading commit data...
tsp95.pdf Loading commit data...