Andy Wilkinson bf618d505c Merge branch '1.3.x

2016-07-13 10:38:03 +01:00

..

java/org/springframework/boot/devtools

Merge branch '1.3.x

2016-07-13 10:38:03 +01:00

resources

Add support for spring-devtools.properties

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