revirgole revirgole 06-10-2018 Computers and Technology contestada What file extension is used to name a compressed folder