bzg/logiciel-libre-esr

Coq est listé deux fois

Closed this issue · 1 comments

ldidry commented
Coq est listé deux fois
bzg commented

Merci !