Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. #474: Add ability to set other plugin names as provided API so others (details)
Commit 9f2fd967a4f914b849afe6ac287e7a595c035884 by md_5
#474: Add ability to set other plugin names as provided API so others can still depend on it
The file was modifiedsrc/main/java/org/bukkit/command/defaults/PluginsCommand.java
The file was modifiedsrc/main/java/org/bukkit/plugin/SimplePluginManager.java
The file was modifiedsrc/main/java/org/bukkit/plugin/PluginDescriptionFile.java