From c889d321500e4ffea74042607b5b40dcc3aab5ab Mon Sep 17 00:00:00 2001 From: Christopher Baklid Date: Tue, 5 Jun 2018 21:08:18 +0200 Subject: remove scripts, more pipfile commands --- scripts/ci.sh | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 scripts/ci.sh (limited to 'scripts/ci.sh') diff --git a/scripts/ci.sh b/scripts/ci.sh deleted file mode 100644 index edf5295..0000000 --- a/scripts/ci.sh +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/bash -chmod +x binaries/nsjail2.6-ubuntu-x86_64 -- cgit v1.2.3