zreed 9e04f2f765 Use PlayerList's UUID->EntityPlayer map in CraftServer.getPlayer(UUID)

2014-12-05 02:03:49 -05:00

..

java

Use PlayerList's UUID->EntityPlayer map in CraftServer.getPlayer(UUID)

2014-12-05 02:03:49 -05:00

resources

Update to Minecraft 1.8

2014-11-28 17:16:30 +11:00