Phillip Webb 24e873cd7c Move files from /.eclipse into /eclipse ... Move the `eclipse.properties` file from `.eclipse` into `eclipse` since the IDE plugin supports both.		2018-07-26 11:34:58 +01:00
..
eclipse.properties	Move files from /.eclipse into /eclipse	2018-07-26 11:34:58 +01:00
spring-boot-project.setup	Merge branch '1.5.x' into 2.0.x	2018-05-25 23:02:08 -07:00