Madhura Bhave 7efbedc0dc Use new configuration properties in devtools ...

Update `spring-boot-devtools` to use the new configuration properties
support.

See gh-9000

2017-04-27 13:59:25 -07:00

..

src

Use new configuration properties in devtools

2017-04-27 13:59:25 -07:00

pom.xml

Merge branch '1.5.x'

2017-04-07 14:17:23 +01:00