tree a2613d2b07bc8d0c4512de2e13781c362259d79c
parent c0f8c8ef441f9526e03abcb319b600d13c5154bb
author David Benjamin <davidben@google.com> 1729549770 -0400
committer David Benjamin <davidben@google.com> 1729697025 +0000

Delete now obsolete copy of infra config

Fixed: 373901544
Change-Id: Ic23d89638c29cc4f47cae3c727f046032a16ec51
Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/72227
Reviewed-by: Adam Langley <agl@google.com>