Linux Mint 15: Arriva mintSources il tool di Mint per gestione repository Continua lo sviluppo di Linux Mint 15 e dei suoi componenti. Uno di questi è…