Nathalie Furmento 786b8fb4b7 move _STARPU_PTHREAD_XXX macros to public API starpu_thread_util and rename them to STARPU_PTHREAD_XXX 12 years ago
..
check_unrenamed_list_types.sh c153c13650 tools/dev/internal/check_unrenamed_list_types.sh: use only 1 grep command 12 years ago
rename_internal.sed 786b8fb4b7 move _STARPU_PTHREAD_XXX macros to public API starpu_thread_util and rename them to STARPU_PTHREAD_XXX 12 years ago
rename_internal.sh 2b5cb43911 tools/dev: a bit of cleaning 13 years ago