Revision 40602
#1657 Renamed long names to short ones also avoiding repetitions
Files
- added
- modified
- copied
- renamed
- deleted
Added by Juan Lucas DomÃnguez almost 11 years ago
#1657 Renamed long names to short ones also avoiding repetitions