Nathalie Furmento d61d7d6d9a merge trunk -r 9571:9579 12 роки тому
..
check_unrenamed_list_types.sh c153c13650 tools/dev/internal/check_unrenamed_list_types.sh: use only 1 grep command 13 роки тому
rename_internal.sed d61d7d6d9a merge trunk -r 9571:9579 12 роки тому
rename_internal.sh 2b5cb43911 tools/dev: a bit of cleaning 13 роки тому