spring-tools/eclipse-language-servers/org.springframework.ide.eclipse.editor.support/build.properties at java-21 - spring-tools - Gitea: Git with a cup of tea

Spring/spring-tools

Files

Kris De Volder ccaf34b787 Move editor.support eclipse-extensions to eclipse-language-servers

2020-10-20 10:32:22 -07:00

7 lines

130 B

INI

Raw Permalink Blame History

 source.. = src/
 output.. = bin/
 bin.includes = META-INF/,\
                .,\
 			   plugin.properties,\
                about.html