From c1fbab84fce66f4f7d32be3d3e4c672a83b150c1 Mon Sep 17 00:00:00 2001
From: Vitor Trovisco <vmt25@cam.ac.uk>
Date: Mon, 18 Oct 2021 14:37:21 +0000
Subject: [PATCH] Update delete_pub_list.sh - removed duplicated last line

---
 delete_pub_list.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/delete_pub_list.sh b/delete_pub_list.sh
index e5b0b38..91906bb 100644
--- a/delete_pub_list.sh
+++ b/delete_pub_list.sh
@@ -27,4 +27,3 @@ rm "temp_output.txt"
 rm "temp_output1.txt"
 rm "temp_output2.txt"
 rm "sessions_to_delete.txt"
-rm "sessions_to_delete.txt"
-- 
GitLab