From fa24e56662a2e7f2e7f9e97fcf8b25c268edd6ce Mon Sep 17 00:00:00 2001 From: Benjamin Dweck Date: Thu, 8 Oct 2020 19:41:39 +0200 Subject: [PATCH] Deleted unnecessary file --- debian/files | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 debian/files diff --git a/debian/files b/debian/files deleted file mode 100644 index ea349cd..0000000 --- a/debian/files +++ /dev/null @@ -1,2 +0,0 @@ -torch-agent_0.0.1-1_all.deb net optional -torch-agent_0.0.1-1_amd64.buildinfo net optional