Peppermint 11 in sviluppo nonostante la scomparsa del CEO!Matteo Gatti·10 Giugno 2020Peppermint è una distro GNU/Linux abbastanza nota soprattutto tra chi deve rivitalizzare un computer datato. Bella, veloce ma anche semplice...