changer les adresses de la doc en allgo18
il reste des liens qui pointent vers allgo.inria.fr. (ex. dans l'intro, lien vers Samusa)
Il faut vérifier toutes les pages de la doc.
git grep 'allgo.inria.fr'
?
il reste des liens qui pointent vers allgo.inria.fr. (ex. dans l'intro, lien vers Samusa)
Il faut vérifier toutes les pages de la doc.
git grep 'allgo.inria.fr'
?