From ea38207632f761fea283a302ff8dad56e616e0f7 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Mon, 15 Mar 2021 11:09:42 +0200 Subject: drop useless junk --- hosts.demo-workers | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 hosts.demo-workers (limited to 'hosts.demo-workers') diff --git a/hosts.demo-workers b/hosts.demo-workers deleted file mode 100644 index e69de29..0000000 -- cgit v1.2.1