spip-contrib-extensions/skeleditor
Par Cerdic, le 23 septembre 2021 à 12h22min :
Un theme qui marche un peu mieux
Modifié
javascript/codemirror.addons.json
javascript/codemirror_init.js
Détails : Un theme qui marche un peu mieux · aa20b28861 - skeleditor - SPIP on GIT