Skip to content
Jenkins
log in
Dashboard
Public
BuildTools
BuildTools
Changes
Status
Changes
Builds
No builds
Newer builds
Older builds
Changes between #135 and #137
#137 (Nov 23, 2021, 12:24:08 AM)
Update dependencies + cleanup —
md_5
/
detail
#136 (Nov 22, 2021, 12:42:09 AM)
#42: Let --generate-docs generate Spigot Javadocs / source —
md_5
/
detail