PEERS 2.5 : Nouvel éditeur de texte
Status
Implemented
Assign
Author
PEERS
Date
Apr 25, 2020
Priority
high
L'éditeur de texte de PEERS a été entièrement refondu, détails ici : https://blog.peers.press/p/9NjHS