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

Fix compilation

Browse source
This commit is contained in:
Shane Freeder 2019-05-22 05:14:56 +01:00
parent 504a4d9c6e
commit 8353831ea5
34 changed files with 124 additions and 382 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Spigot-API-Patches/Player.setPlayerProfile-API.patch
View file

@ -6,7 +6,7 @@ Subject: [PATCH] Player.setPlayerProfile API
This can be useful for changing name or skins after a player has logged in.
diff --git a/src/main/java/org/bukkit/entity/Player.java b/src/main/java/org/bukkit/entity/Player.java
index df1d3c78..8f87b165 100644
index 7d6cfb05d..ff799ac78 100644
--- a/src/main/java/org/bukkit/entity/Player.java
+++ b/src/main/java/org/bukkit/entity/Player.java
@@ -0,0 +0,0 @@ package org.bukkit.entity;