Closed fchapoton closed 2 years ago
ping ?
Est-ce qu'il y a quelqu'un dans le coin ? C'est juste une branche qui corrige quelque typos..
@dyoussef : est-ce que ici aussi, le dépôt github n'est qu'une copie ? J'aimerais bien avoir une réaction quelconque.
en effet, c'est un miroir aussi : poke @duboise-cnes
A quoi ça sert d'avoir des dépôts sur github, si on ne peut pas vous faire des suggestions ? 🙁
fix some typos suggested by codespell
should be easy to review