Nathalie Furmento c153c13650 tools/dev/internal/check_unrenamed_list_types.sh: use only 1 grep command 12 年之前
..
check_unrenamed_list_types.sh c153c13650 tools/dev/internal/check_unrenamed_list_types.sh: use only 1 grep command 12 年之前
rename_internal.sed 7b918aad19 rename internal variable heft_policy to _starpu_sched_dmda_policy to use the same naming as for the other policy objects 13 年之前
rename_internal.sh 2b5cb43911 tools/dev: a bit of cleaning 13 年之前