From 866658cded5b92ddb2681dead1ebaf111d712fcc Mon Sep 17 00:00:00 2001 From: cassiopc Date: Mon, 6 Aug 2012 11:09:10 +0200 Subject: init --- boca-1.5.0/tools/etc/icpc/bocaserver.sh | 1 + 1 file changed, 1 insertion(+) create mode 100755 boca-1.5.0/tools/etc/icpc/bocaserver.sh (limited to 'boca-1.5.0/tools/etc/icpc/bocaserver.sh') diff --git a/boca-1.5.0/tools/etc/icpc/bocaserver.sh b/boca-1.5.0/tools/etc/icpc/bocaserver.sh new file mode 100755 index 0000000..8bb6c2c --- /dev/null +++ b/boca-1.5.0/tools/etc/icpc/bocaserver.sh @@ -0,0 +1 @@ +BOCASERVER=127.0.0.1 -- cgit v1.2.3