tree fba48e0c115d945fa15dd912214ceb3f3ec02a3a
parent 6a847b29dc2e60759ac0658b5620c06d37e41b7a
author Stella Laurenzo <laurenzo@google.com> 1650590406 -0700
committer GitHub <noreply@github.com> 1650590406 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJiYgLGCRBK7hj4Ov3rIwAAlL8IAFKcgF6SghXupBYzATbermaO
 2RRp0orYI2lyFc4q25B+R+ve1/Oqo/V4xkxUHOGlIucPL38EaobrxZGGmlweyRna
 OAXZwXfmBsteF0ylFlBaYJY79Br20Oo1tsHJnDNPj+uva5Hwl/n17odYdzpLtgwM
 PJLV6RqxLbx8HOMOr/BcvNTBLTDI+AzeTyTBiVTrI9mab/qUs5g+JMSppT3SyLkQ
 74f/J1A3Vjjg98M8TL5hC3+BZIZZA0i+uxVzCLOpKqrMt5T2bkEcWXYSaEixlbwB
 /m2lzGu3gaJeNm4RySJK9LKqVaDUEqh74X+XkXzkpgYOvLk+GFeVuQcN5KJdUos=
 =rClX
 -----END PGP SIGNATURE-----
 

Move scripts/ to build_tools/scripts/ (#8959)

Ben objected when I added this here years ago. He was right.

* Deletes a handful of obviously obsolete scripts.
* Updates references to ./scripts in build_tools/
* Updates some docs (and deletes obsolete refs to old scripts)