From 626092cb1926c4b283af2504ea1f73f657c29056 Mon Sep 17 00:00:00 2001 From: tpollina Date: Wed, 15 Jan 2020 15:41:47 +0100 Subject: [PATCH] Delete pump.php --- pipeline/pump.php | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 pipeline/pump.php diff --git a/pipeline/pump.php b/pipeline/pump.php deleted file mode 100644 index 65ae392..0000000 --- a/pipeline/pump.php +++ /dev/null @@ -1,8 +0,0 @@ -