5 Commits (34e4163ebc6fdbbc3da38845b25ee8638c22b28b)

Author SHA1 Message Date
Phillip Webb b57802190d Polish 11 years ago
Phillip Webb 9929e39124 Allow devtools properties in `user.home` 11 years ago
Phillip Webb d0349879c3 Allow custom restart pollInterval and quietPeriod 11 years ago
Phillip Webb 7bcd6567ba Allow reload to use a trigger file 11 years ago
Phillip Webb 983484f429 Rename spring-boot-developer-tools -> devtools 11 years ago