bêtise dev tools et jaguar

[blackhole]

je viens de faire une petite bêtise, j'ai installé le package des développeur de la 10.1, sur a 10.2...

ça marche mais y a t'il un moyen de les désinstaller?

.. ma console m'indique pas mal de crash