Andy Wilkinson 43256ee7c9 Merge branch '1.3.x'

2016-04-15 17:33:25 +01:00

..

java/org/springframework/boot/devtools

Merge branch '1.3.x'

2016-04-15 17:33:25 +01:00

resources

Add support for spring-devtools.properties

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