4 Commits (0a42a0e0d650ec58bdc24836e5bc1c3d117fd3d2)

Author SHA1 Message Date
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