From 0c30e006c90db4e6ca77d9054d391340282b96f6 Mon Sep 17 00:00:00 2001 From: zooster Date: Sun, 25 Dec 2022 00:38:58 +0100 Subject: [PATCH] delete empty.zig This is no longer used anywhere. --- src/empty.zig | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/empty.zig diff --git a/src/empty.zig b/src/empty.zig deleted file mode 100644 index e69de29bb2..0000000000