Brian Clozel 12d883f6b9 Introduce "server.servlet" configuration prefix ... This commit refactors the `ServerProperties` property keys and introduces a separate "server.servlet" namespace to isolate servlet-specific properties from the rest. Closes gh-8066		2017-02-07 16:48:22 +01:00
..
spring-boot-devtools-tests	Merge branch '1.5.x'	2017-01-16 20:42:42 +00:00
spring-boot-gradle-tests	Merge branch '1.5.x'	2017-01-18 13:39:57 +00:00
spring-boot-launch-script-tests	Introduce "server.servlet" configuration prefix	2017-02-07 16:48:22 +01:00
spring-boot-security-tests	Next development version	2016-12-23 00:15:23 +00:00
src/it	Fix eclipse errors and warnings	2015-02-24 12:44:19 -08:00
pom.xml	Next development version	2016-12-23 00:15:23 +00:00