From a4faf3daaa5573a216af6cb1d2f515b7d6048295 Mon Sep 17 00:00:00 2001 From: David Reid Date: Tue, 3 Mar 2020 19:17:29 +1000 Subject: [PATCH] Remove unnecessary placeholder file. --- examples/bin/DO_NOT_DELETE | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 examples/bin/DO_NOT_DELETE diff --git a/examples/bin/DO_NOT_DELETE b/examples/bin/DO_NOT_DELETE deleted file mode 100644 index e69de29b..00000000