From c72cb048fd2d51e0afef5a0e55fe883feb118393 Mon Sep 17 00:00:00 2001 From: David Stosik Date: Thu, 9 Feb 2023 23:51:01 +0000 Subject: [PATCH] Remove empty_commit file, as it seems unnecessary --- empty_commit | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 empty_commit diff --git a/empty_commit b/empty_commit deleted file mode 100644 index e69de29bb..000000000