From dd3152be0442e577692067c5523da4f5ab9d9957 Mon Sep 17 00:00:00 2001 From: cassio Date: Sun, 30 Aug 2015 23:11:57 +0100 Subject: multiple bugs to make submission by command line --- tools/etc/icpc/bocaserver.sh | 1 - 1 file changed, 1 deletion(-) delete mode 100755 tools/etc/icpc/bocaserver.sh (limited to 'tools/etc/icpc/bocaserver.sh') diff --git a/tools/etc/icpc/bocaserver.sh b/tools/etc/icpc/bocaserver.sh deleted file mode 100755 index 8bb6c2c..0000000 --- a/tools/etc/icpc/bocaserver.sh +++ /dev/null @@ -1 +0,0 @@ -BOCASERVER=127.0.0.1 -- cgit v1.2.3