Description
Cette extension est fermée depuis le 6 février 2026 et n’est pas disponible au téléchargement. Cette fermeture est temporaire, en attente d’une revue complète.
Avis
Il n’y a aucun avis pour cette extension.
Contributeurs/contributrices & développeurs/développeuses
« 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.