Phillip Webb 01933f9b06 Merge previously split strings ...

Merge some string lines that were previously split because of the
90 chars wide formatting.

2019-07-15 00:24:19 +01:00

..

java/org/springframework/boot/devtools

Merge previously split strings

2019-07-15 00:24:19 +01:00

resources

Update devtools to use @Lazy(false)

2019-04-05 18:02:27 -07:00