Skip to content
Jenkins
log in
Dashboard
All
BuildTools
#91
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
See Fingerprints
Previous Build
Next Build
Success
Changes
Summary
Make --dev use development maven profile (
details
)
Commit 65e6215c5b42fddad2f25d5e29b412a0abd80760 by
md_5
Make --dev use development maven profile
The file was modified
src/main/java/org/spigotmc/builder/Builder.java
![[Jenkins]](/jenkins/static/904d747e/images/svgs/logo.svg){kind=logo}
