spring-tools/headless-services/spring-boot-language-server/.settings/org.springframework.ide.eclipse.prefs at 4e77458eded9265b9740a7b09fe5465013b672cc - spring-tools - Gitea: Git with a cup of tea

Spring/spring-tools

Files

Kris De Volder ae1354d53e Rename boot-language-server to spring-boot-language-server

So it is consistent with the vscode-spring-boot naming.

2018-02-13 11:57:13 -08:00

3 lines

63 B

INI

Raw Blame History

	`boot.validation.initialized=true`
	`eclipse.preferences.version=1`