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

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