GraniteTeam/Granite — pull request #32 by Chrisbotcom (2014-09-27 23:28:17+00:00)
Title: Added WorldInfo mappings

Added fields and methods for net.minecraft.world.storage.WorldInfo in
mappings.conf.