From eb5f9518aea64f9ec552fd4504ec7a161c3940ce Mon Sep 17 00:00:00 2001 From: jathu Date: Wed, 19 Mar 2025 16:04:38 -0700 Subject: [PATCH] move misc files --- {build => scripts}/pick_doc_commits.py | 0 {build => scripts}/print_public_headers.py | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename {build => scripts}/pick_doc_commits.py (100%) rename {build => scripts}/print_public_headers.py (100%) diff --git a/build/pick_doc_commits.py b/scripts/pick_doc_commits.py similarity index 100% rename from build/pick_doc_commits.py rename to scripts/pick_doc_commits.py diff --git a/build/print_public_headers.py b/scripts/print_public_headers.py similarity index 100% rename from build/print_public_headers.py rename to scripts/print_public_headers.py