Andy Wilkinson 991314c63d Merge branch '1.5.x'

2017-06-16 09:13:42 +01:00

..

java/org/springframework/boot/devtools

Merge branch '1.5.x'

2017-06-16 09:13:42 +01:00

resources

Add support for spring-devtools.properties

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