Andy Wilkinson 96d01d6791 Merge branch '1.3.x'

2016-04-19 12:37:37 +01:00

..

java/org/springframework/boot/devtools

Merge branch '1.3.x'

2016-04-19 12:37:37 +01:00

resources

Add support for spring-devtools.properties

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