4 Commits (bdfe5d19a5ffa10e4e2cdde47e136f316d26cc0f)

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