From 140ee49ccf0353cd29c04d0d6bd5d4da69e7d0cc Mon Sep 17 00:00:00 2001 From: Determinant Date: Fri, 17 Aug 2018 11:28:07 -0400 Subject: add scripts; move scripts to a new directory --- run_client.sh | 2 -- 1 file changed, 2 deletions(-) delete mode 100755 run_client.sh (limited to 'run_client.sh') diff --git a/run_client.sh b/run_client.sh deleted file mode 100755 index 93a9148..0000000 --- a/run_client.sh +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/bash -./hotstuff-client --idx 0 --iter -1 --max-async 3 -- cgit v1.2.3-70-g09d2