Entwicklungswerkzeuge

Eclipse Update Sites

• Tomcat-Plugin: https://devtools.his.de/tomcatplugin/updatesite
• Ecl1: https://devtools.his.de/ecl1/updatesite
• Eclipse Macker: https://devtools.his.de/eclipse-macker/updatesite