How do you zip a Minecraft PE file on Android?

How do you zip a Minecraft PE file on Android?

See also  Kotaku's Weekend Guide: Apparently It's RPG Week