Skip to content

Commit 025514f

Browse files
jathujathu
authored
[build Folder Migration] Move miscellaneous files (#9417)
### Summary A series of diffs as a part of #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)