Description
Cette extension est fermée depuis le 6 février 2026 et n’est pas disponible au téléchargement. Raison : Problème de sécurité.
Avis
Il n’y a aucun avis pour cette extension.
Contributeurs & développeurs
« IDE Micro code-editor » est un logiciel libre. Les personnes suivantes ont contribué à cette extension.
Contributeurs
Traduisez « IDE Micro code-editor » dans votre langue.
Le développement vous intéresse ?
Parcourir le code, consulter le SVN dépôt, ou s’inscrire au journal de développement par RSS.