From 5d07c72d1cd88ab4124b6b4a8c3091c2181a1a2f Mon Sep 17 00:00:00 2001 From: Manuel Friedli Date: Sat, 1 Sep 2018 23:14:52 +0200 Subject: [PATCH] Delete dummy file to trigger build --- foo | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 foo diff --git a/foo b/foo deleted file mode 100644 index e69de29..0000000