Skip to content

Commit 025514f

Browse files
jathujathu
authored
[build Folder Migration] Move miscellaneous files (pytorch#9417)
### Summary A series of diffs as a part of pytorch#9117. These are independent files, that can be safely moved without dependencies. ### Test plan CI
1 parent ea43453 commit 025514f

File tree

2 files changed

+0
-0
lines changed

2 files changed

+0
-0
lines changed

build/pick_doc_commits.py renamed to scripts/pick_doc_commits.py

File renamed without changes.

build/print_public_headers.py renamed to scripts/print_public_headers.py

File renamed without changes.

0 commit comments

Comments
 (0)