Nathalie Furmento d61d7d6d9a merge trunk -r 9571:9579 пре 13 година
..
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 пре 13 година
rename_internal.sh 2b5cb43911 tools/dev: a bit of cleaning пре 14 година