From: Benoît Pin Date: Mon, 25 Oct 2010 22:09:41 +0000 (+0200) Subject: suppression du monkey-patch _SPECIAL_PROVIDERS. TODO : vérifier l'impact. X-Git-Url: https://scm.cri.mines-paristech.fr/git/Plinn.git/commitdiff_plain/af9b4da41b83e5813616436bc4f59eb0128893a8?hp=af9b4da41b83e5813616436bc4f59eb0128893a8 suppression du monkey-patch _SPECIAL_PROVIDERS. TODO : vérifier l'impact. ---