michael 92ccdb14e9 Merge branch 'copy_libs' of ... uhl@gohorb.ba-horb.de:/bahome/projekt/git/Plugin_JCC into copy_libs Conflicts: JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java		2019-12-09 13:57:55 +01:00
JavaCompilerPlugin	Bug 161 - Automatische Merhoden-Ergänzung funktioniert nicht	2019-12-09 13:54:28 +01:00
.gitignore	Generic type inserts.	2019-07-29 16:24:04 +02:00