mirrors/papermc
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Cleanup javadoc warnings

Browse source
This commit is contained in:
Shane Freeder 2018-08-16 12:20:58 +01:00
parent 609d6bba6a
commit 69928187c9
20 changed files with 203 additions and 62 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Spigot-API-Patches/Add-World.getEntity-UUID-API.patch
View file

@ -5,7 +5,7 @@ Subject: [PATCH] Add World.getEntity(UUID) API
diff --git a/src/main/java/org/bukkit/World.java b/src/main/java/org/bukkit/World.java
index 4ed7d2dc..4441a8e0 100644
index c9c1a4352..20cc4e121 100644
--- a/src/main/java/org/bukkit/World.java
+++ b/src/main/java/org/bukkit/World.java
@@ -0,0 +0,0 @@ public interface World extends PluginMessageRecipient, Metadatable {