Преглед на файлове

tools/dev: move scripts from internal to parent directory

Nathalie Furmento преди 8 години
родител
ревизия
a2ea1df811
променени са 4 файла, в които са добавени 0 реда и са изтрити 0 реда
  1. 0 0
      tools/dev/check_unrenamed_list_types.sh
  2. 0 0
      tools/dev/rename_internal.sed
  3. 0 0
      tools/dev/rename_internal.sh
  4. 0 0
      tools/dev/starpu_check_braces.sh

tools/dev/internal/check_unrenamed_list_types.sh → tools/dev/check_unrenamed_list_types.sh


tools/dev/internal/rename_internal.sed → tools/dev/rename_internal.sed


tools/dev/internal/rename_internal.sh → tools/dev/rename_internal.sh


tools/dev/internal/starpu_check_braces.sh → tools/dev/starpu_check_braces.sh