Rename spring-boot-developer-tools -> devtools

Fixes gh-3099
2015-06-04 12:31:49 -07:00
parent 683c19ee8b
commit 983484f429
165 changed files with 507 additions and 437 deletions
--- a/spring-boot-samples/spring-boot-sample-devtools/src/main/resources/application.properties
+++ b/spring-boot-samples/spring-boot-sample-devtools/src/main/resources/application.properties
@@ -0,0 +1 @@
+spring.developertools.remote.secret=secret