JinnIde

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Circa JinnIde

JinnIde è un plugin che permette di utilizzare Jinni, vedi http://www.binnetcorp.com/Jinni/, entro i confini di un IDE integrato in JEdit.