Salve a tutti. Domanda: Che fine ha fatto il bottone "Aggiungi repository di terze parti" del pannello di ricerca plugin? ...era abbastanza comodo :( Ora, bisogna aggiungere tutto a mano? :( Roberto