root
/
spring-boot
mirror of https://github.com/spring-projects/spring-boot.git
1
0
Fork 0
Code Issues Actions 12 Packages Projects Releases Wiki Activity
spring-boot/spring-boot-samples/spring-boot-sample-devtools
History
Phillip Webb 9929e39124 Allow devtools properties in `user.home` 
Support loading a `.spring-boot-devtools.properties` file from the
users home folder. The property file can be used to customize settings
that make sense on a per-user basis, but might not want to be checked
into the project.

Fixes gh-3151
 		2015-06-08 23:46:24 -07:00
..
src/main Allow devtools properties in `user.home` 2015-06-08 23:46:24 -07:00
pom.xml Rename spring-boot-developer-tools -> devtools 2015-06-04 13:50:56 -07:00