Nathalie Furmento 81f3a0d92f tools/dev: add copyright + minor fixes il y a 13 ans
..
check_register.sh 238cb6c0d7 tools/dev: add copyright il y a 13 ans
functions_undocumented.sh 238cb6c0d7 tools/dev: add copyright il y a 13 ans
rename.sed 662827b106 tools/dev/rename.sed: add new renaming rules il y a 13 ans
rename.sh fe64185af5 tools: rename sub-directory developers to dev il y a 13 ans
starpu_check_register.cocci 78db452322 tools/dev: add copyright il y a 13 ans
starpu_check_register.sh 81f3a0d92f tools/dev: add copyright + minor fixes il y a 13 ans
starpu_funcs.cocci 78db452322 tools/dev: add copyright il y a 13 ans
starpu_funcs.sh 81f3a0d92f tools/dev: add copyright + minor fixes il y a 13 ans