From 2456f2c82528f31835807addd4ac3b6e62252af9 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sat, 7 Jan 2023 17:51:27 +0200 Subject: drop old junk Sponsored-by: author --- ansible/hosts.ci-prod-workers | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 ansible/hosts.ci-prod-workers (limited to 'ansible/hosts.ci-prod-workers') diff --git a/ansible/hosts.ci-prod-workers b/ansible/hosts.ci-prod-workers deleted file mode 100644 index e69de29..0000000 -- cgit v1.2.1