From 02b4aacc81613792b0fa618692145dc1e2989e42 Mon Sep 17 00:00:00 2001 From: Cassio de Campos Date: Thu, 10 Aug 2017 11:35:53 +0100 Subject: removal of old files, preparation for https --- tools/icpc.etc.tgz | Bin 9525 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 tools/icpc.etc.tgz (limited to 'tools/icpc.etc.tgz') diff --git a/tools/icpc.etc.tgz b/tools/icpc.etc.tgz deleted file mode 100644 index e58e2b1..0000000 Binary files a/tools/icpc.etc.tgz and /dev/null differ -- cgit v1.2.3