2015-05-25 20:37:24 +10:00
|
|
|
--- a/net/minecraft/server/IDataManager.java
|
|
|
|
+++ b/net/minecraft/server/IDataManager.java
|
2014-11-26 08:32:16 +11:00
|
|
|
@@ -23,4 +23,6 @@
|
|
|
|
File getDataFile(String s);
|
|
|
|
|
2016-03-01 08:32:46 +11:00
|
|
|
DefinedStructureManager h();
|
2014-11-26 08:32:16 +11:00
|
|
|
+
|
|
|
|
+ java.util.UUID getUUID(); // CraftBukkit
|
|
|
|
}
|