Added by Juan Lucas DomÃnguez almost 11 years ago
#1657 Renamed long names to short ones also avoiding repetitions
View differences