Andy Wilkinson 367a4ed219 Merge branch '1.3.x'

2016-03-02 10:59:18 +00:00

..

java/org/springframework/boot/devtools

Merge branch '1.3.x'

2016-03-02 10:59:18 +00:00

resources

Add support for spring-devtools.properties

2015-11-13 10:32:44 -08:00