ldleman/Leed — pull request #288 by Sbgodin (2014-01-24 13:19:33+00:00)
Title: Purge les états des plugins inexistants

Si on supprime le répertoire d'un plugin, la mémoire de son état
(stockée dans plugins.states.json) sera aussi supprimée.

Cela permet de supprimer un plugin en effaçant simplement son
répertoire.

Note : je ne suis pas expert en greffon, et bien que je pense avoir une bonne idée de là où j'ai mis mes doigts boudinés, les commentaires sont bienvenus pour :
* valider la pertinence de cette fonctionnalité
* tester la fonctionnalité
* revoir le codage de celle-ci