[RISOLTO] Eliminazione repository non piu' necessario

[berserk-ivix]

Ciao a tutti.
Qualche giorno fa ho installato Opera, volevo solo provarlo.
Ora l'ho tolto, ma mi rimane il repository e non mi ricordo dove me lo aveva salvato.
Ho provato in /etc/apt/sources.list e /etc/apt/sources.list.d/, ma niente.

Grazie in anticipo per qualsiasi aiuto.

Ciao, Ivano.

Edit: Come non detto: disinstallando me lo ha tolto in automatico, o almeno cosi pare facendo apt-get update.