Nathalie Furmento c153c13650 tools/dev/internal/check_unrenamed_list_types.sh: use only 1 grep command il y a 12 ans
..
check_unrenamed_list_types.sh c153c13650 tools/dev/internal/check_unrenamed_list_types.sh: use only 1 grep command il y a 12 ans
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 il y a 13 ans
rename_internal.sh 2b5cb43911 tools/dev: a bit of cleaning il y a 13 ans