Nathalie Furmento 14677179f1 StarPU-top: rename objects from starputopXXX to starpu_topXXX %!s(int64=14) %!d(string=hai) anos
..
check_register.sh 238cb6c0d7 tools/dev: add copyright %!s(int64=14) %!d(string=hai) anos
rename.sed 662827b106 tools/dev/rename.sed: add new renaming rules %!s(int64=14) %!d(string=hai) anos
rename.sh fe64185af5 tools: rename sub-directory developers to dev %!s(int64=14) %!d(string=hai) anos
starpu_check_register.cocci 78db452322 tools/dev: add copyright %!s(int64=14) %!d(string=hai) anos
starpu_check_register.sh 81f3a0d92f tools/dev: add copyright + minor fixes %!s(int64=14) %!d(string=hai) anos
starpu_funcs.cocci 14677179f1 StarPU-top: rename objects from starputopXXX to starpu_topXXX %!s(int64=14) %!d(string=hai) anos
starpu_funcs.sh 81f3a0d92f tools/dev: add copyright + minor fixes %!s(int64=14) %!d(string=hai) anos