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

Merge branch 'master' into pre/1.13

Browse source
This commit is contained in:
Shane Freeder 2018-08-17 05:10:45 +01:00
commit 1186b23a8d
18 changed files with 191 additions and 53 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 81d9e1df..6e583b42 100644
index ef3a2f2d2..860e4374f 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 {