Remove accidentally committed empty file
authorTeresa Johnson <tejohnson@google.com>
Thu, 11 May 2023 01:44:58 +0000 (18:44 -0700)
committerTeresa Johnson <tejohnson@google.com>
Thu, 11 May 2023 01:44:58 +0000 (18:44 -0700)
Removes an empty file inadvertently included with
b8d2f7177c39af7be371ba7f46cb00b9c63ef8f5.

hot-alloctype.patch [deleted file]

diff --git a/hot-alloctype.patch b/hot-alloctype.patch
deleted file mode 100644 (file)
index e69de29..0000000