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