Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fixups to the diff computation (again), and kill the last empty line of diffs