From f3f4edd76877157c9449c040eebbdb106447c012 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sun, 24 Jan 2021 16:06:59 -0500
Subject: [PATCH] Remove repo list.

---
 repos/default_list.txt | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 repos/default_list.txt

diff --git a/repos/default_list.txt b/repos/default_list.txt
deleted file mode 100644
index 6ecfffb..0000000
--- a/repos/default_list.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-to_update_1
-to_update_2
-to_update_3
\ No newline at end of file