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
..
main/java/org/springframework/boot/launchscript	Polish	2016-01-24 19:13:01 +01:00
test	Introduce "server.servlet" configuration prefix	2017-02-07 16:48:22 +01:00