Andy Wilkinson e9c69f261d Merge branch '1.3.x'

2016-07-19 08:55:45 +01:00

..

java/org/springframework/boot/devtools

Merge branch '1.3.x'

2016-07-19 08:55:45 +01:00

resources

Call context.close() rather than shutdown hook in DevTools restart

2016-02-12 15:12:01 +00:00