Ver Fonte

move scripts to tools directory

B. Petersen há 6 anos atrás
pai
commit
70dd1aef92
1 ficheiros alterados com 0 adições e 0 exclusões
  1. 0 0
      tools/clean_derived.sh

+ 0 - 0
clean_derived.sh → tools/clean_derived.sh