JinnIde

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes

Sur JinnIde

JinnIde est un plugin qui permet d’utiliser Jinni, voir http://www.binnetcorp.com/Jinni/, dans les limites d’un IDE intégré dans JEdit.