Spring/spring-boot
Spring/spring-boot
1
0
Fork 0
mirror of https://github.com/spring-projects/spring-boot.git synced 2024-08-29 03:06:45 +08:00
Code Issues Packages Projects Releases Wiki Activity
9929e39124
spring-boot/spring-boot-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 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