소스 검색

tools/dev: rename script to better fit its purpose

Nathalie Furmento 13 년 전
부모
커밋
459566dd30
1개의 변경된 파일0개의 추가작업 그리고 0개의 파일을 삭제
  1. 0 0
      tools/dev/starpu_check_undocumented.sh

tools/dev/starpu_funcs.sh → tools/dev/starpu_check_undocumented.sh