| .. |
|
check_register.sh
|
238cb6c0d7
tools/dev: add copyright
|
vor 15 Jahren |
|
rename.sed
|
662827b106
tools/dev/rename.sed: add new renaming rules
|
vor 15 Jahren |
|
rename.sh
|
fe64185af5
tools: rename sub-directory developers to dev
|
vor 15 Jahren |
|
starpu_check_register.cocci
|
78db452322
tools/dev: add copyright
|
vor 15 Jahren |
|
starpu_check_register.sh
|
81f3a0d92f
tools/dev: add copyright + minor fixes
|
vor 15 Jahren |
|
starpu_funcs.cocci
|
78db452322
tools/dev: add copyright
|
vor 15 Jahren |
|
starpu_funcs.sh
|
81f3a0d92f
tools/dev: add copyright + minor fixes
|
vor 15 Jahren |
Nathalie Furmento
88e07aa8b7
Update doc and tools