From cf4e104ddf64116eeac9777fef5ce203ec3686ce Mon Sep 17 00:00:00 2001 From: Joris Date: Sun, 5 Mar 2017 15:59:01 +0100 Subject: Remove build script --- build | 2 -- 1 file changed, 2 deletions(-) delete mode 100755 build (limited to 'build') diff --git a/build b/build deleted file mode 100755 index 9e5cca5..0000000 --- a/build +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -nix-shell --command "make clean install build" -- cgit v1.2.3