Nathalie Furmento d61d7d6d9a merge trunk -r 9571:9579 hace 12 años
..
check_unrenamed_list_types.sh c153c13650 tools/dev/internal/check_unrenamed_list_types.sh: use only 1 grep command hace 13 años
rename_internal.sed d61d7d6d9a merge trunk -r 9571:9579 hace 12 años
rename_internal.sh 2b5cb43911 tools/dev: a bit of cleaning hace 13 años